Zhipeng Cao

Zhipeng0727

·

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

AI & ML interests

None yet

Recent Activity

upvoted a paper about 1 hour 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

upvoted a paper about 1 hour ago

LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification

Paper • 2610.30524 • Published 7 days ago • 12

upvoted 2 papers about 15 hours ago

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

Paper • 2610.28698 • Published 8 days ago • 85

Evolving to Match Capabilities: Improving Harness Self-Evolution via Skill Adaptation

Paper • 2610.33024 • Published 18 days ago • 18