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