Search papers, labs, and topics across Lattice.
University of Buenos Aires
1
0
2
LLMs can slash false positives in dynamic specification inference by generating targeted counterexamples, boosting assertion precision by up to 7%.
