长垣产业园区科技文献服务平台

会议文集


文集名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 LearningZiyan Luo; Xujie Si2024
Error Analysis of Shapley Value-Based Model Explanations: An Informative PerspectiveNingsheng Zhao; Jia Yuan Yu; Krzysztof Dzieciolowski; Trang Bui2024
Concept-Based Analysis of Neural Networks via Vision-Language ModelsRavi Mangal; Nina Narodytska; Divya Gopinath; Boyue Caroline Hu; Anirban Roy; Susmit Jha; Corina S. Pasareanu2024
Parallel Verification for δ-Equivalence of Neural Network QuantizationPei Huang; Yuting Yang; Haoze Wu; Ieva Daukantas; Min Wu; Fuqi Jia; Clark Barrett2024
Verification of Neural Network Control Systems in Continuous TimeAli ArjomandBigdeli; Andrew Mata; Stanley Bak2024
A Preliminary Study to Examining Per-class Performance Bias via Robustness DistributionsAnnelot W. Bosman; Anna L. Munz; Holger H. Hoos; Jan N. van Rijn2024
Clover: Closed-Loop Verifiable Code GenerationChuyue Sun; Ying Sheng; Oded Padon; Clark Barrett2024
Provable Repair of Vision TransformersStephanie Nawas; Zhe Tao; Aditya V. Thakur2024
Iterative Counter-Example Guided Robustness Verification for Neural NetworksKarthik Hanumanthaiah; Samik Basu2024



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024