中国机械工程学会生产工程分会知识服务平台

会议文集


文集名AI Verification
会议名2nd International Symposium on AI Verification (SAIV 2025)
中译名《第二届国际人工智能验证讨论会》
会议日期July 21-22, 2025
会议地点Zagreb, Croatia
出版年2026
馆藏号359387


题名作者出版年
Scenario-Based Compositional Verification of Autonomous Systems with Neural PerceptionChristopher Watson; Rajeev Alur; Divya Gopinath; Ravi Mangal; Corina S. Pasareanu2026
Robustness Margin: A New Measure for the Robustness of Neural NetworksLionel Kielhofer; Annelot W. Bosman; Holger H. Hoos; Jan N. van Rijn2026
GRENA: GPU-Aided Abstract Refinement for Neural Network VerificationYuyi Zhong; Shaun Zong Zhi Tan; Hanping Xu; Siau-Cheng Khoo2026
ClassInvGen: Class Invariant Synthesis Using Large Language ModelsChuyue Sun; Viraj Agashe; Saikat Chakraborty; Jubi Taneja; Clark Barrett; David Dill; Xiaokang Qiu; Shuvendu K. Lahiri2026
Bridging Neural ODE and ResNet: A Formal Error Bound for Safety VerificationAbdelrahman Sayed Sayed; Pierre-Jean Meyer; Mohamed Ghazel2026
Probabilistic Verification of Neural Networks with Sampling-Based Probability Box PropagationMarcel Chwialkowski; Eric Goubault; Sylvie Putot2026
How to Verify Generalization Capability of a Neural Network with Formal MethodsArthur Claviere; Dmitrii Kirov; Darren Cofer2026
Certified Error Analysis of Homomorphically Encrypted Neural NetworksPhilipp Kern; Edoardo Manino; Carsten Sinz2026
Neural Network Verification for Gliding Drone Control: A Case StudyColin Kessler; Ekaterina Komendantskaya; Marco Casadio; Ignazio Maria Viola; Thomas Flinkow; Albaraa Ammar Othman; Alistair Malhotra; Robbie McPherson2026
Abstraction-Based Proof Production in Formal Verification of Neural NetworksYizhak Yisrael Elboher; Omri Isac; Guy Katz; Tobias Ladner; Haoze Wu2026
On the Complexity of Formal Reasoning in State Space ModelsEric Alsmann; Martin Lange2026
Quantifiers for Differentiale Logics in RocqJairo Miguel Marulanda-Giraldo; Ekaterina Komendantskaya; Alessandro Bruni; Reynald Affeldt; Matteo Capucci; Enrico Marchioni2026
CTRAIN - A Training Library for Certifiably Robust Neural NetworksKonstantin Kaulen; Holger H. Hoos2026
NeuralSAT: Scaling Constraint Solving for DNN Verification (Competition Contribution)Hai Duong; ThanhVu Nguyen2026
NNV: A Star Set Reachability Approach (Competition Contribution)Diego Manzanas Lopez; Samuel Sasaki; Taylor T. Johnson2026
PyRAT: Verifying Neural Networks with Abstract Interpretation (Competition Contribution)Augustin Lemesle; Julien Lehmann; Tristan Le Gall; Zakaria Chihani2026
SobolBox: Boxed Refinement of Sobol Sequence Samples for Neural Network Verification (Competition Contribution)Sarthak Das2026



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