Search Results for author:
Found 1 papers, 0 papers with code
HyperTree Proof Search for Neural Theorem Proving
With a similar computational budget, we improve the state of the art on the Lean-based miniF2F-curriculum dataset from 31% to 42% proving accuracy.
Ranked #1 on
Automated Theorem Proving
on Metamath set.mm
(Pass@32 metric)
Cannot find the paper you are looking for? You can
Submit a new open access paper.
