Search papers, labs, and topics across Lattice.
Shandong University
1
0
2
Achieving a 12 out of 14 success rate in proving geometry statements for the first time highlights a breakthrough in automated formal verification.
