Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Virginia Tech Blacksburg
1
0
1
Verifier-gated retries can boost language model repair success rates by over 8 percentage points, revealing the potential of symbolic verification in AI-assisted reasoning.