Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Affiliation:
1
0
3
A neural evaluator predicts Lean 4 proof acceptance with 87.8% accuracy and achieves 4.2x the throughput of a multi-worker Lean baseline, drastically accelerating proof discovery.