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 17 hours ago
FormalCert-AI/DynaCertBenchOrganizations
