Search papers, labs, and topics across Lattice.
University of Rio Cuarto, Scientific and Technical Research (CONICET), Guangdong Technion-Israel Institute of Technology
1
0
2
LLMs can slash false positives in dynamic specification inference by generating targeted counterexamples, boosting assertion precision by up to 7%.
