Search papers, labs, and topics across Lattice.
Institute of Software, CAS
1
0
LLMs show promise in interpreting cryptographic schemes but fall short in generating and transforming formal proofs, with the best model scoring just 48.7 out of 100.
