default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd International Symposium on AI Verification 2025: Zagreb, Croatia
- Mirco Giacobbe
, Anna Lukina:
AI Verification - Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, Proceedings. Lecture Notes in Computer Science 15947, Springer 2026, ISBN 978-3-031-99990-1
Technical Program
- Christopher Watson, Rajeev Alur, Divya Gopinath, Ravi Mangal, Corina S. Pasareanu:
Scenario-Based Compositional Verification of Autonomous Systems with Neural Perception. 3-28 - Lionel Kielhöfer, Annelot W. Bosman, Holger H. Hoos, Jan N. van Rijn:
Robustness Margin: A New Measure for the Robustness of Neural Networks. 29-48 - Yuyi Zhong, Shaun Zong Zhi Tan, Hanping Xu, Siau-Cheng Khoo:
GRENA: GPU-Aided Abstract Refinement for Neural Network Verification. 49-63 - Chuyue Sun, Viraj Agashe, Saikat Chakraborty, Jubi Taneja, Clark W. Barrett, David L. Dill, Xiaokang Qiu, Shuvendu K. Lahiri:
ClassInvGen: Class Invariant Synthesis Using Large Language Models. 64-96 - Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Mohamed Ghazel:
Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification. 97-114 - Marcel Chwialkowski, Eric Goubault, Sylvie Putot:
Probabilistic Verification of Neural Networks with Sampling-Based Probability Box Propagation. 115-135 - Arthur Clavière, Dmitrii Kirov, Darren D. Cofer:
How to Verify Generalization Capability of a Neural Network with Formal Methods. 136-155 - Philipp Kern, Edoardo Manino, Carsten Sinz:
Certified Error Analysis of Homomorphically Encrypted Neural Networks. 156-179 - Colin Kessler, Ekaterina Komendantskaya, Marco Casadio, Ignazio Maria Viola, Thomas Flinkow, Albaraa Ammar Othman, Alistair Malhotra, Robbie McPherson:
Neural Network Verification for Gliding Drone Control: A Case Study. 180-199
Extended Abstracts
- Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu:
Abstraction-Based Proof Production in Formal Verification of Neural Networks (Extended Abstract). 203-220 - Eric Alsmann, Martin Lange:
On the Complexity of Formal Reasoning in State Space Models (Extended Abstract). 221-226 - Jairo Miguel Marulanda-Giraldo, Ekaterina Komendantskaya, Alessandro Bruni, Reynald Affeldt, Matteo Capucci, Enrico Marchioni:
Quantifiers for Differentiable Logics in Rocq (Extended Abstract). 227-237 - Konstantin Kaulen, Holger H. Hoos:
CTRAIN - A Training Library for Certifiably Robust Neural Networks (Extended Abstract). 238-249
Competition Contributions
- Hai Duong, ThanhVu Nguyen:
NeuralSAT: Scaling Constraint Solving for DNN Verification (Competition Contribution). 253-259 - Diego Manzanas Lopez, Samuel Sasaki, Taylor T. Johnson:
NNV: A Star Set Reachability Approach (Competition Contribution). 260-265 - Augustin Lemesle, Julien Lehmann, Tristan Le Gall, Zakaria Chihani:
PyRAT: Verifying Neural Networks with Abstract Interpretation (Competition Contribution). 266-271 - Sarthak Das:
SobolBox: Boxed Refinement of Sobol Sequence Samples for Neural Network Verification (Competition Contribution). 272-277
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-22 01:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
