Search papers, labs, and topics across Lattice.
Academy of Mathematics and Systems Science, SKLMS, Chinese Academy of Sciences, University of Chinese Academy of Sciences
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.
