Search papers, labs, and topics across Lattice.
Affiliation:
1
0
2
2
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.
