Search papers, labs, and topics across Lattice.
1
82
3
Open-sourcing Goedel-Prover vaults past proprietary models in automated theorem proving, proving 7 problems on PutnamBench and achieving a 60% success rate on miniF2F, all without RLHF.
