Search papers, labs, and topics across Lattice.
Université Paris-Cité, California Institute of Technology
1
0
2
LLMs can now tackle complex TCS proof generation with a benchmark that achieves over 90% accuracy in verification against human experts.
