Zhipeng Cao

Zhipeng0727

·

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

AI & ML interests

None yet

Recent Activity

upvoted a paper about 12 hours ago

LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification

new activity 1 day ago

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

upvoted a paper 1 day ago

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

View all activity

Organizations

Zhipeng0727 's datasets

None public yet