Search papers, labs, and topics across Lattice.
Sun Yat-sen University
2
0
4
Achieving a 12 out of 14 success rate in proving geometry statements for the first time highlights a breakthrough in automated formal verification.
Explicitly training LLMs to verbalize confidence scores and signal reasoning-time uncertainty unlocks better calibration, failure detection, and control in retrieval-augmented generation.
