SAIV

Publications

volume 14846, 2024

AI Verification - First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings SAIV 14846 (2024)

2014

Ziyan Luo, Xujie Si
Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning. SAIV (2014)
Chuyue Sun, Ying Sheng, Oded Padon, Clark W. Barrett
Clover: Closed-Loop Verifiable Code Generation. SAIV (2014)
Stephanie Nawas, Zhe Tao, Aditya V. Thakur
Provable Repair of Vision Transformers. SAIV (2014)
Ningsheng Zhao, Jia Yuan Yu, Krzysztof Dzieciolowski, Trang Bui
Error Analysis of Shapley Value-Based Model Explanations: An Informative Perspective. SAIV (2014)
Ali ArjomandBigdeli, Andrew Mata, Stanley Bak
Verification of Neural Network Control Systems in Continuous Time. SAIV (2014)
Pei Huang, Yuting Yang, Haoze Wu, Ieva Daukantas, Min Wu, Fuqi Jia, Clark W. Barrett
Parallel Verification for δ-Equivalence of Neural Network Quantization. SAIV (2014)
Karthik Hanumanthaiah, Samik Basu
Iterative Counter-Example Guided Robustness Verification for Neural Networks. SAIV (2014)
Annelot Bosman, Anna L. Münz, Holger H. Hoos, Jan N. van Rijn
A Preliminary Study to Examining Per-class Performance Bias via Robustness Distributions. SAIV (2014)
Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu
Concept-Based Analysis of Neural Networks via Vision-Language Models. SAIV (2014)