Talks

Invited Talk

• Verification of Neuro-Symbolic Multi-Agent Systems

  Elena Botoeva

  Table Host Chair: Guy Katz 

• Towards Probabilistic Verification of AI Systems via Weighted Model Integration

  Paolo Morettin

  Table Host Chair: Guy Katz 

• Trustworthy-by-Design Autonomous AI Systems

  Shufang Zhu

  Table Host Chair: Taylor Johnson 

• Machine Learning Meets Program Reasoning: Opportunities and Challenges

  Xujie Si

  Table Host Chair: Taylor Johnson 

• Verified Autonomy with Neural Lyapunov Barrier Certificates

  Clark Barrett

  Keynote Chair: Mirco Giacobbe 

Presentation

• Iterative Counter-Example Guided Robustness Verification for Neural Networks

  Karthik Hanumanthaiah, Samik Basu

  Abstract Chair: Andoni Rodriguez 

• Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning

  Ziyan Luo, Xujie Si

  Paper Chair: Mirco Giacobbe 

• Error Analysis of Shapley Value-Based Model Explanations: An Informative Perspective

  Ningsheng Zhao, Jia Yuan Yu, Krzysztof Dzieciolowski, Trang Bui

  Paper Chair: Ravi Mangal 

• Concept-based Analysis of Neural Networks via Vision-Language Models

  Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina Păsăreanu

  Paper Chair: Christopher Brix 

• Parallel Verification for δ-Equivalence of Neural Network Quantization

  Pei Huang, Yuting Yang, Haoze Wu, Ieva Daukantas, Min Wu, Fuqi Jia, Clark Barrett

  Paper Chair: Christopher Brix 

• Verification of Neural Network Control Systems in Continuous Time

  Ali ArjomandBigdeli, Andrew Mata, Stanley Bak

  Paper Chair: Christopher Brix 

• A Preliminary Study to Examining Per-Class Performance Bias via Robustness Distributions

  Annelot Bosman, Anna Münz, Holger Hoos, Jan van Rijn

  Paper Chair: Andoni Rodriguez 

• Clover: Closed-Loop Verifiable Code Generation

  Chuyue Sun, Ying Sheng, Oded Padon, Clark Barrett

  Paper Chair: Ekaterina Komendantskaya 

• Provable Repair of Vision Transformers

  Stephanie Nawas, Zhe Tao, Aditya Thakur

  Paper Chair: Yuval Shapira 

• Provable Preimage Under-Approximation for Neural Networks

  Xiyue Zhang, Benjie Wang, Marta Kwiatkowska

  Chair: Ravi Mangal 

• Generating Explanations for Decisions of Classifiers using Instance Abstractions

  Chunxi Ji, Adnan Darwiche

  Chair: Yuval Shapira Changed Time Slot 

• Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

  Haoze Wu, Omri Isac, Aleksandar Zeljić, Teruhiro Tagomori, Matthew Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark Barrett

  Chair: Christopher Brix 

• Boosting Few-Pixel Robustness Verification via Covering Verification Designs

  Yuval Shapira, Naor Wiesel, Shahar Shabelman, Dana Drachsler-Cohen

  Chair: Andoni Rodriguez 

• Scalable relational verification and training for deep neural networks

  Debangshu Banerjee, Changming Xu, Gagandeep Singh

  Chair: Yuval Shapira 

• Shield Synthesis Modulo Theories

  Andoni Rodriguez, Guy Amir, Davide Corsi, César Sánchez, Guy Katz

  Chair: Yuval Shapira 

• Provably Safe Neural Network Controllers via Differential Dynamic Logic

  Samuel Teuber, Stefan Mitsch, André Platzer

  Chair: Ravi Mangal Changed Time Slot 

VNN-COMP

• VNN-COMP

  Taylor T. Johnson

  Chair: Ekaterina Komendantskaya 

Discussion

• Round-table discussion

  on  Mon, 15:00 in  Main Room

Break

• Coffee break

  on  Mon, 10:30 in  Main Room

• Lunch

  on  Mon, 12:30 in  Main Room