Search papers, labs, and topics across Lattice.
1
0
3
4
Strategic reasoning about proof plans, not just tactic generation, unlocks a 22% jump in automated theorem proving success.
