Login / Signup
HyperTree Proof Search for Neural Theorem Proving.
Guillaume Lample
Marie-Anne Lachaux
Thibaut Lavril
Xavier Martinet
Amaury Hayat
Gabriel Ebner
Aurélien Rodriguez
Timothée Lacroix
Published in:
CoRR (2022)
Keyphrases
</>
theorem proving
proof search
proof planning
theorem prover
proof procedure
inference rules
first order logic
decision procedures
automated reasoning
parallel search
geometry theorem proving
consequence finding
linear logic
predicate calculus
natural deduction
machine learning
search algorithm