105 dynamical-system certification problems for stability, region of attraction, forward invariance, and safety. Dataset accompanying LLM2Cert.
Zhipeng Cao
Zhipeng0727
·
AI & ML interests
None yet
Recent Activity
new activity about 6 hours ago
FormalCert-AI/DynaCertBench:Add task category and remove arxiv tag from metadata upvoted a paper about 6 hours ago
Scaling in Games: Continued Pre-Training For Embodied Agents In Diverse Virtual Worlds upvoted a paper about 6 hours ago
Evolving to Match Capabilities: Improving Harness Self-Evolution via Skill AdaptationOrganizations
