Related references
Note: Only part of the references are listed.A Dual Number Abstraction for Static Analysis of Clarke Jacobians
Jacob Laurel et al.
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL (2022)
Training Robust Neural Networks Using Lipschitz Bounds
Patricia Pauli et al.
IEEE CONTROL SYSTEMS LETTERS (2022)
Exploiting Verified Neural Networks via Floating Point Numerical Error
Kai Jia et al.
STATIC ANALYSIS, SAS 2021 (2021)
Fit without fear: remarkable mathematical phenomena of deep learning through the prism of interpolation
Mikhail Belkin
ACTA NUMERICA (2021)
Benign overfitting in linear regression
Peter L. Bartlett et al.
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA (2020)
Adversarial Examples on Object Recognition: A Comprehensive Survey
Alex Serban et al.
ACM COMPUTING SURVEYS (2020)
Abstract Neural Networks
Matthew Sotoudeh et al.
STATIC ANALYSIS (SAS 2020) (2020)
Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems
Abbas Edalat et al.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2020)
Artificial Intelligence Aided Automated Design for Reliability of Power Electronic Systems
Tomislav Dragicevic et al.
IEEE TRANSACTIONS ON POWER ELECTRONICS (2019)
Harmless interpolation of noisy data in regression
Vidya Muthukumar et al.
2019 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY (ISIT) (2019)
An Abstract Domain for Certifying Neural Networks
Gagandeep Singh et al.
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL (2019)
Safe & robust reachability analysis of hybrid systems
Eugenio Moggi et al.
THEORETICAL COMPUTER SCIENCE (2018)
Domain Theory its Ramifications and Interactions
Klaus Keimel
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2017)
Steps Toward Robust Artificial Intelligence
Thomas G. Dietterich
AI MAGAZINE (2017)
Towards Evaluating the Robustness of Neural Networks
Nicholas Carlini et al.
2017 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP) (2017)
A computational model for multi-variable differential calculus
Abbas Edalat et al.
INFORMATION AND COMPUTATION (2013)
Continuity and Robustness of Programs
Swarat Chaudhuri et al.
COMMUNICATIONS OF THE ACM (2012)
Denotational semantics of hybrid automata
Abbas Edalat et al.
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING (2007)
SHRAD: A language for sequential real number computation
Amin Farjudian
THEORY OF COMPUTING SYSTEMS (2007)
Domain theory and differential calculus (functions of one variable)
A Edalat et al.
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE (2004)
Integration in real PCF
A Edalat et al.
INFORMATION AND COMPUTATION (2000)
Share Paper
