Abstract Interpretation of Stateful Networks
No abstract available.
Related papers
- Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks PLDI 2023
- Abstract interpretation of distributed network control planes POPL 2020
- Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations SAS 2024
- Abstract Interpretation of Cellular Signalling Networks VMCAI 2008
- Optimization and abstraction: a synergistic approach for analyzing neural network robustness PLDI 2019
- Automated Safety Verification of Programs Invoking Neural Networks CAV 2021
- A general construction for abstract interpretation of higher-order automatic differentiation OOPSLA 2022
- SAIL: Sound Abstract Interpreters with LLMs PLDI 2026