logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
A

AI VERIFICATION, SAIV 2025

IF
Papers16
Citations
Journal Papers 16
Publication Date
delete
Scenario-Based Compositional Verification of Autonomous Systems with Neural Perception
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteWatson, Christopher; Alur, Rajeev; Gopinath, Divya; Mangal, Ravi; Pasareanu, Corina S.
deleteShare
deleteSave
Abstraction-Based Proof Production in Formal Verification of Neural Networks (Extended Abstract)
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteElboher, Yizhak Yisrael; Isac, Omri; Katz, Guy; Ladner, Tobias; Wu, Haoze
deleteShare
deleteSave
On the Complexity of Formal Reasoning in State Space Models (Extended Abstract)
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAlsmann, Eric; Lange, Martin
deleteShare
deleteSave
Robustness Margin: A New Measure for the Robustness of Neural Networks
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKielhoefer, Lionel; Bosman, Annelot W.; Hoos, Holger H.; van Rijn, Jan N.
deleteShare
deleteSave
Certified Error Analysis of Homomorphically Encrypted Neural Networks
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKern, Philipp; Manino, Edoardo; Sinz, Carsten
deleteShare
deleteSave
CTRAIN - A Training Library for Certifiably Robust Neural Networks (Extended Abstract)
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKaulen, Konstantin; Hoos, Holger H.
deleteShare
deleteSave
Quantifiers for Differentiable Logics in Rocq (Extended Abstract)
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMarulanda-Giraldo, Jairo Miguel; Komendantskaya, Ekaterina; Bruni, Alessandro; Affeldt, Reynald; Capucci, Matteo; Marchioni, Enrico
deleteShare
deleteSave
NeuralSAT: Scaling Constraint Solving for DNN Verification (Competition Contribution)
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDuong, Hai; ThanhVu Nguyen
deleteShare
deleteSave
SobolBox: Boxed Refinement of Sobol Sequence Samples for Neural Network Verification (Competition Contribution)
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDas, Sarthak
deleteShare
deleteSave
Neural Network Verification for Gliding Drone Control: A Case Study
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKessler, Colin; Komendantskaya, Ekaterina; Casadio, Marco; Viola, Ignazio Maria; Flinkow, Thomas; Othman, Albaraa Ammar; Malhotra, Alistair; McPherson, Robbie
deleteShare
deleteSave
Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSayed, Abdelrahman Sayed; Meyer, Pierre-Jean; Ghazel, Mohamed
deleteShare
deleteSave
PyRAT: Verifying Neural Networks with Abstract Interpretation (Competition Contribution)
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLemesle, Augustin; Lehmann, Julien; Le Gall, Tristan; Chihani, Zakaria
deleteShare
deleteSave
NNV: A Star Set Reachability Approach (Competition Contribution)
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLopez, Diego Manzanas; Sasaki, Samuel; Johnson, Taylor T.
deleteShare
deleteSave
ClassInvGen: Class Invariant Synthesis Using Large Language Models
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSun, Chuyue; Agashe, Viraj; Chakraborty, Saikat; Taneja, Jubi; Barrett, Clark; Dill, David; Qiu, Xiaokang; Lahiri, Shuvendu K.
deleteShare
deleteSave
How to Verify Generalization Capability of a Neural Network with Formal Methods
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteClaviere, Arthur; Kirov, Dmitrii; Cofer, Darren
deleteShare
deleteSave
Probabilistic Verification of Neural Networks with Sampling-Based Probability Box Propagation
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteChwialkowski, Marcel; Goubault, Eric; Putot, Sylvie
deleteShare
deleteSave