Search papers, labs, and topics across Lattice.
University of Cambridge
1
0
2
3
Imitation learning enables automated theorem provers to solve 46% more problems while drastically reducing proof steps compared to traditional methods.
