Building Trust and Safety in Artificial Intelligence with Abstract Interpretation
Abstract elided by the publisher.
Related papers
- On the formalisation of Kolmogorov complexity CPP 2021
- Declarative programming for artificial intelligence applications ICFP 2007
- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems CAV 2019
- Formally Verified Switching Logic for Recoverability of Aircraft Controller CAV 2021
- Techniques for the Automatic Selection of Data Structures POPL 1976
- Rethinking compilers in the rise of machine learning and AI (keynote) CC 2018
- Software Engineering Methods for AI-Driven Deductive Legal Reasoning Onward! 2024
- Macros That Work POPL 1991