Zhipeng Cao

Zhipeng0727

·

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

AI & ML interests

None yet

Recent Activity

upvoted a paper 6 days ago

LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification

new activity 7 days ago

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

upvoted a paper 7 days ago

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

View all activity

Organizations

Zhipeng0727 's models

None public yet