Zhipeng Cao

Zhipeng0727

·

https://formalcert-ai.github.io/

AI & ML interests

None yet

Recent Activity

upvoted a paper 32 minutes ago

LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification

new activity about 15 hours ago

FormalCert-AI/DynaCertBench:Add task category and remove arxiv tag from metadata

upvoted a paper about 15 hours ago

Scaling in Games: Continued Pre-Training For Embodied Agents In Diverse Virtual Worlds

View all activity

Organizations

Zhipeng0727 's models

None public yet