Search papers, labs, and topics across Lattice.
State Key Laboratory of Cyberspace Security Defense
2
0
2
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.
Achieve provably robust watermarking of panoramic images under arbitrary 3D rotations by exploiting the spherical invariant bispectrum, a novel third-order SO(3) invariant.
