Search Results for author:
Found 2 papers, 0 papers with code
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
Grounded in this dataset, we investigate the use of AI to synthesize programs and their proofs in F*, with promising results.
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.
