Search papers, labs, and topics across Lattice.
2
0
3
5
Forget brute-force code generation: FixAudit shows iteratively debugging a single candidate with targeted tests can beat much larger models.
A 7B model, guided by verifiable execution rewards, can now rival the code reasoning of models more than four times its size.
