Verifying Properties of Differentiable Programs
Abstract elided by the publisher.
Related papers
- Verifying Safety Properties of Differential Equations CAV 1996
- A Temporal Differential Dynamic Logic Formal Embedding CPP 2024
- A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics CPP 2016
- Deductive Stability Proofs for Ordinary Differential Equations TACAS 2021
- Verified Foundations for Differential Privacy PLDI 2025
- Incremental Computing by Differential Execution ECOOP 2025
- Revisiting Differential Verification: Equivalence Verification with Confidence TACAS 2025
- Comparing the Precision of Abstract Operators in the eBPF Verifier Using Differential Synthesis SAS 2025