LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification
Paper • 2610.30524 • Published • 5
Zhipeng Cao
Zhipeng0727
·
AI & ML interests
None yet
Recent Activity
upvoted a paper about 10 hours ago
LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification liked a dataset about 17 hours ago
FormalCert-AI/DynaCertBench updated a dataset about 18 hours ago
FormalCert-AI/DynaCertBenchOrganizations
upvoted a paper about 10 hours ago