Search papers, labs, and topics across Lattice.
University of Louisiana at Lafayette
1
0
3
Standard accuracy metrics can fool you: LLMs often appear strong at SAT solving, but a paired-formula test reveals they're mostly guessing "satisfiable" and failing to actually reason.
