Search papers, labs, and topics across Lattice.
2
0
3
0
LLMs can fix more bugs when guided by a semantic evolutionary algorithm that recombines successful partial fixes across a population of candidate repairs.
LLMs can generate more accurate and complete postconditions by engaging in iterative refinement guided by correctness feedback, rather than relying on single-pass prompting.