Search papers, labs, and topics across Lattice.
Affiliation:
3
0
5
SpecCoder boosts the quality of executable specifications by up to 358% and turns them into active tools for reliable code verification and repair.
LLMs can debug code more effectively by reasoning about intermediate program states, not just relying on coarse pass/fail test signals.
