Search papers, labs, and topics across Lattice.
1
0
2
2
LLMs can now automatically generate formal specifications for real-world programs with high precision and recall, thanks to a novel specification refinement mechanism that leverages program mutations.
