HyperTree Proof Search for Neural Theorem Proving Guillaume Lample Marie-Anne Lachaux Thibaut Lavril Xavier Martinet

Nov-15-2025, 17:33:12 GMT–Neural Information Processing Systems

We propose an online training procedure for a transformer-based automated theorem prover.

logic & formal reasoning, machine learning, natural language, (20 more...)

Neural Information Processing Systems

Nov-15-2025, 17:33:12 GMT

Conferences PDF

Country:
- Europe > Netherlands
  - North Holland > Amsterdam (0.04)
- North America > United States
  - North Carolina > Wake County > Morrisville (0.04)
- South America > Chile
  - Santiago Metropolitan Region > Santiago Province > Santiago (0.04)

Industry:
- Education > Educational Setting > Online (0.62)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning > Neural Networks
    - Deep Learning (1.00)
  - Natural Language (1.00)
  - Representation & Reasoning > Logic & Formal Reasoning (1.00)

Duplicate Docs Excel Report

Title
a8901c5e85fb8e1823bbf0f755053672-Paper-Conference.pdf

Similar Docs Excel Report more

Title	Similarity	Source
None found