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
upvoted a paper 4 days ago
LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification new activity 5 days ago
FormalCert-AI/DynaCertBench:Add task category and remove arxiv tag from metadataOrganizations
