The Network as a Language Construct
Abstract elided by the publisher.
Related papers
- Neural Networks, Secure by Construction - An Exploration of Refinement Types APLAS 2020
- Bisimulations for Neural Network Reduction VMCAI 2022
- Interval universal approximation for neural networks POPL 2022
- Exploiting Verified Neural Networks via Floating Point Numerical Error SAS 2021
- Automatic Verification of Parameterized Linear Networks of Processes POPL 1997
- Correct-by-Construction: Certified Individual Fairness through Neural Network Training OOPSLA 2025
- Network Change Validation with Relational NetKAT POPL 2026
- Verifying Parameterized Networks TOPLAS 1997