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 about 10 hours ago
LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification liked a dataset about 17 hours ago
FormalCert-AI/DynaCertBench updated a dataset about 17 hours ago
FormalCert-AI/DynaCertBenchOrganizations
