{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/fi-ode-certified-and-robust-forward","title":"FI-ODE: Certifiably Robust Forward Invariance in Neural ODEs","arxiv_id":"2210.16940","date":"2022-10-30","proceeding":null,"authors":["Yujia Huang","Ivan Dario Jimenez Rodriguez","huan zhang","Yuanyuan Shi","Yisong Yue"],"abstract":"Forward invariance is a long-studied property in control theory that is used to certify that a dynamical system stays within some pre-specified set of states for all time, and also admits robustness guarantees (e.g., the certificate holds under perturbations). We propose a general framework for training and provably certifying robust forward invariance in Neural ODEs. We apply this framework to provide certified safety in robust continuous control. To our knowledge, this is the first instance of training Neural ODE policies with such non-vacuous certified guarantees. In addition, we explore the generality of our framework by using it to certify adversarial robustness for image classification.","url_abs":"https://arxiv.org/abs/2210.16940v4","url_pdf":"https://arxiv.org/pdf/2210.16940v4.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"fi-ode-certified-and-robust-forward","repo_url":"https://github.com/yjhuangcd/fi-ode","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":1,"framework":"pytorch","reach":null}],"tasks":[{"task_slug":"adversarial-robustness","task_name":"Adversarial Robustness"},{"task_slug":"continuous-control","task_name":"Continuous Control"},{"task_slug":"image-classification","task_name":"Image Classification"},{"task_slug":"continuous-control","task_name":"continuous-control"},{"task_slug":"image-classification","task_name":"image-classification"}],"methods":[{"method_slug":"node","method_name":"NODE"}],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":"https://app.syntology.ai/?focus=2210.16940","mcp":null,"developers":"https://syntology.ai/developers"},"arxiv_metadata":null,"syntology_extracted_results":null}