Search papers, labs, and topics across Lattice.
Affiliation:
2
0
3
7
AI agents can only correctly synthesize implementations and proofs for less than two-thirds of tested multi-module software repositories, revealing significant gaps in current capabilities.
Jointly planning programs and their proofs can boost solve rates by over 11% while slashing API costs by nearly 40%.
