Abstract is missing.
- VPN: Verification of Poisoning in Neural NetworksYoucheng Sun, Muhammad Usman 0024, Divya Gopinath, Corina S. Pasareanu. 3-14 [doi]
- A Cascade of Checkers for Run-time Certification of Local RobustnessRavi Mangal, Corina S. Pasareanu. 15-28 [doi]
- CEG4N: Counter-Example Guided Neural Network Quantization RefinementJoão Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro. 29-45 [doi]
- Minimal Multi-Layer Modifications of Deep Neural NetworksIdan Refaeli, Guy Katz. 46-66 [doi]
- Differentiable Logics for Neural Network Training and VerificationNatalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart 0001. 67-77 [doi]
- Neural Networks in Imandra: Matrix Representation as a Verification ChoiceRemi Desmartin, Grant O. Passmore, Ekaterina Komendentskaya. 78-95 [doi]
- Self-correcting Neural Networks for Safe ClassificationKlas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu. 96-130 [doi]
- Formal Specification for Learning-Enabled Autonomous SystemsSaddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled. 131-143 [doi]
- Verified Numerical Methods for Ordinary Differential EquationsAriel E. Kellison, Andrew W. Appel. 147-163 [doi]
- Neural Network Precision Tuning Using Stochastic ArithmeticQuentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel, Basile Lewandowski. 164-186 [doi]
- MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different TypesGokul Hariharan, Brian Kempa, Tichakorn Wongpiromsarn, Phillip H. Jones, Kristin Y. Rozier. 187-204 [doi]