Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
University of California, Irvine
1
0
3
6
Verifier pass rates lie: LLMs can generate formal specifications that pass verification but are still wrong, and a new agentic framework, VeriAct, is needed to synthesize truly correct and complete specifications.