Search papers, labs, and topics across Lattice.
1
0
LLMs can match SOTA supervised theorem provers without training, if you give them the right structural scaffolding.
