Search papers, labs, and topics across Lattice.
Affiliation:
2
0
3
0
Jointly planning programs and their proofs can boost solve rates by over 11% while slashing API costs by nearly 40%.
Achieving 100% success on challenging theorem proving tasks, Goedel-Architect redefines efficiency in formal proofs by leveraging natural language guidance and adaptive blueprint refinement.
