Talks
Invited Talk
-
Assured Automatic Programming via LLMs
Table Host Chair: Anna Lukina
-
Neuro-Symbolic and Generative AI
Table Host Chair: Mirco Giacobbe
-
Decidable Problems for Partially Observable MDPs
Table Host Chair: Anna Lukina
-
Formal Methods for Natural Language Processing
Table Host Chair: Mirco Giacobbe
-
Soft Pattern Matching: Toward Runtime Verification of NLP Systems
Table Host Chair: Anna Lukina
-
(Hybrid) Safeguarded AI: Funding Opportunities
Table Host Chair: Mirco Giacobbe
Presentation
-
Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification
-
Abstraction-Based Proof Production in Formal Verification of Neural Networks
Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu
-
Probabilistic verification of neural networks with sampling-based Probability Box propagation
-
How to Verify Generalization Capability of a Neural Network with Formal Methods
-
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
-
Scenario-based Compositional Verification of Autonomous Systems
Christopher Watson, Rajeev Alur, Divya Gopinath, Ravi Mangal, Corina S. Pasareanu
-
(Hybrid) 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
-
Quantifiers for Differentiable Logics in Rocq
Jairo Miguel Marulanda-Giraldo, Ekaterina Komendantskaya, Alessandro Bruni, Reynald Affeldt, Matteo Capucci, Enrico Marchioni
-
(Hybrid) GRENA: GPU-aided Abstract Refinement for Neural Network Verification
-
Robustness Margin: A new measure for the robustness of neural networks
Lionel Kielhofer, Annelot Willemijn Bosman, Jan N. van Rijn, Holger Hoos
-
CTRAIN - A Training Library for Certifiably Robust Neural Networks
-
Certified Error Analysis of Homomorphically Encrypted Neural Networks
VNN-COMP
Discussion
-
Panel with all invited speakers
-
Round-table discussion
on Mon, 10:00 in
Break
-
Lunch
on Mon, 12:00 in
Posters
-
Coffee/Tea & Posters
on Mon, 10:30 in