SAIV 2025 Symposium Submissions

CTRAIN - A Training Library for Certifiably Robust Neural Networks (Extended Abstract)
Konstantin Kaulen, Holger Hoos
- Published: 28 May 2025, Last Modified: 10 Jul 2025
- SAIV 2025 Proceedings
- Readers: Everyone
Neural Network Verification for Gliding Drone Control: A Case Study
Colin Kessler, Ekaterina Komendantskaya, Marco Casadio, Ignazio Maria Viola, Albaraa Ammar Othman, Alistair Malhotra, Robbie McPherson
- Published: 28 May 2025, Last Modified: 10 Jul 2025
- SAIV 2025 Proceedings
- Readers: Everyone
Certified Error Analysis of Homomorphically Encrypted Neural Networks
Philipp Daniel Kern, Edoardo Manino, Carsten Sinz
- Published: 28 May 2025, Last Modified: 10 Jul 2025
- SAIV 2025 Proceedings
- Readers: Everyone
On the Complexity of Formal Reasoning in State Space Models (Extended Abstract)
Eric Alsmann, Martin Lange
- Published: 28 May 2025, Last Modified: 10 Jul 2025
- SAIV 2025 Proceedings
- Readers: Everyone
How to Verify Generalization Capability of a Neural Network with Formal Methods
Arthur Clavière, Dmitrii Kirov, Darren Cofer
- Published: 28 May 2025, Last Modified: 10 Jul 2025
- SAIV 2025 Proceedings
- Readers: Everyone
Probabilistic verification of neural networks with sampling-based Probability Box propagation.
Marcel Chwiałkowski, Sylvie Putot, Eric Goubault
- Published: 28 May 2025, Last Modified: 10 Jul 2025
- SAIV 2025 Proceedings
- Readers: Everyone
Quantifiers for Differentiable Logics in Rocq (Extended Abstract)
Jairo Miguel Marulanda-Giraldo, Ekaterina Komendantskaya, Alessandro Bruni, Reynald Affeldt, Matteo Capucci, Enrico Marchioni
- Published: 28 May 2025, Last Modified: 10 Jul 2025
- SAIV 2025 Proceedings
- Readers: Everyone
Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification
Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Mohamed Ghazel
- Published: 28 May 2025, Last Modified: 10 Jul 2025
- SAIV 2025 Proceedings
- Readers: Everyone
Abstraction-Based Proof Production in Formal Verification of Neural Networks (Extended Abstract)
Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu
- Published: 28 May 2025, Last Modified: 10 Jul 2025
- SAIV 2025 Poster
- Readers: Everyone
ClassInvGen: Class Invariant Synthesis using Large Language Models
Chuyue Sun, Saikat Chakraborty, Jubi Taneja, Viraj Agashe, Xiaokang Qiu, David L. Dill, Clark Barrett, Shuvendu K Lahiri
- Published: 28 May 2025, Last Modified: 10 Jul 2025
- SAIV 2025 Proceedings
- Readers: Everyone
GRENA: GPU-aided Abstract Refinement for Neural Network Verification
Yuyi Zhong, Shaun Tan Zong Zhi, Hanping Xu, Siau-Cheng Khoo
- Published: 28 May 2025, Last Modified: 10 Jul 2025
- SAIV 2025 Proceedings
- Readers: Everyone
Robustness Margin: A new measure for the robustness of neural networks
Lionel Kielhofer, Annelot Willemijn Bosman, Jan N. van Rijn, Holger Hoos
- Published: 28 May 2025, Last Modified: 10 Jul 2025
- SAIV 2025 Proceedings
- Readers: Everyone
Scenario-based Compositional Verification of Autonomous Systems
Christopher Watson, Rajeev Alur, Divya Gopinath, Ravi Mangal, Corina S. Pasareanu
- Published: 28 May 2025, Last Modified: 10 Jul 2025
- SAIV 2025 Proceedings
- Readers: Everyone