中国机械工程学会生产工程分会知识服务平台 | sc.gmachineinfo.com

会议文集

文集名	AI Verification
会议名	1st International Symposium on AI Verification (SAIV 2024)
中译名	《第一届国际人工智能验证讨论会》
会议日期	July 22-23, 2024
会议地点	Montreal, QC, Canada
出版年	2024
馆藏号	353245

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