LLM-Assisted Automatic Security Proofs for Cryptographic Protocols: How Far Are We?

Whitepaper called LLM-Assisted Automatic Security Proofs For Cryptographic Protocols: How Far Are We?...