Verification as Learning Geometric Concepts
Abstract elided by the publisher.
Related papers
- Shared Certificates for Neural Network Verification CAV 2022
- PyEuclid: A Versatile Formal Plane Geometry System in Python CAV 2025
- Higher Inductive Types as Homotopy-Initial Algebras POPL 2015
- Improved Geometric Path Enumeration for Verifying ReLU Neural Networks CAV 2020
- Sequential Convex Programming for the Efficient Verification of Parametric MDPs TACAS 2017
- Composite Multimedia and Active Objects OOPSLA 1991
- Incremental Verification of Neural Networks PLDI 2023
- Robustness certification with generative models PLDI 2021