Search papers, labs, and topics across Lattice.
The State Key Laboratory of Blockchain and Data Security, Zhejiang University
2
0
3
0
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.
