Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2104.02466
Cited By
v1
v2 (latest)
A Review of Formal Methods applied to Machine Learning
6 April 2021
Caterina Urban
Antoine Miné
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"A Review of Formal Methods applied to Machine Learning"
28 / 28 papers shown
BEAVER: An Efficient Deterministic LLM Verifier
Tarun Suresh
Nalin Wadhwa
Debangshu Banerjee
Gagandeep Singh
50
1
0
05 Dec 2025
Faster Verified Explanations for Neural Networks
Alessandro De Palma
Greta Dolcetti
Caterina Urban
FAtt
322
3
0
28 Nov 2025
On AI Verification in Open RAN
Rahul Soundrarajan
Claudio Fiandrino
Michele Polese
Salvatore D’oro
Leonardo Bonati
Tommaso Melodia
137
0
0
21 Oct 2025
AgentGuard: Runtime Verification of AI Agents
Roham Koohestani
130
7
0
28 Sep 2025
A Cycle-Consistency Constrained Framework for Dynamic Solution Space Reduction in Noninjective Regression
Hanzhang Jia
Yi Gao
165
0
0
07 Jul 2025
The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification
Michele Alberti
F. Bobot
Julien Girard-Satabin
Alban Grastien
Aymeric Varasse
Zakaria Chihani
357
1
0
10 Jun 2025
A General Framework for Property-Driven Machine Learning
Thomas Flinkow
Marco Casadio
Colin Kessler
Rosemary Monahan
Ekaterina Komendantskaya
AAML
507
2
0
01 May 2025
Assessing Code Understanding in LLMs
Formal Techniques for (Networked and) Distributed Systems (FTNDS), 2025
Cosimo Laneve
Alvise Spanò
Dalila Ressi
S. Rossi
M. Bugliesi
330
1
0
31 Mar 2025
LipShiFT: A Certifiably Robust Shift-based Vision Transformer
Rohan Menon
Nicola Franco
Stephan Günnemann
358
2
0
18 Mar 2025
Achieving the Tightest Relaxation of Sigmoids for Formal Verification
Samuel Chevalier
Duncan Starkenburg
Krishnamurthy Dvijotham
284
2
0
20 Aug 2024
A SAT-based approach to rigorous verification of Bayesian networks
Yang Luo
Zhemeng Yu
Lintao Ma
243
0
0
02 Aug 2024
Machine Learning Robustness: A Primer
Houssem Ben Braiek
Foutse Khomh
AAML
OOD
587
23
0
01 Apr 2024
A DPLL(T) Framework for Verifying Deep Neural Networks
Hai V. Duong
Thanh-Dat Nguyen
Matthew B. Dwyer
451
23
0
17 Jul 2023
Incremental Verification of Neural Networks
Shubham Ugare
Debangshu Banerjee
Sasa Misailovic
Gagandeep Singh
376
21
0
04 Apr 2023
Abstract Interpretation-Based Feature Importance for SVMs
Abhinanda Pal
Francesco Ranzato
Caterina Urban
Marco Zanella
FAtt
247
0
0
22 Oct 2022
Verifiable Obstacle Detection
IEEE International Symposium on Software Reliability Engineering (ISSRE), 2022
Ayoosh Bansal
Hunmin Kim
Simon Yu
Bo-Yi Li
N. Hovakimyan
Marco Caccamo
L. Sha
339
6
0
30 Aug 2022
Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations
Asia-Pacific Software Engineering Conference (APSEC), 2022
S. Munakata
Caterina Urban
Haruki Yokoyama
Koji Yamamoto
Kazuki Munakata
AAML
139
6
0
13 Jul 2022
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks
ACM Transactions on Software Engineering and Methodology (TOSEM), 2022
Jiaxiang Liu
Yunhan Xing
Xiaomu Shi
Fu Song
Zhiwu Xu
Zhong Ming
232
16
0
02 Jul 2022
Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
Journal of Logic and Computation (J. Log. Comput.), 2022
F. A. DÁsaro
Francesco Genco
Giuseppe Primiero
402
11
0
26 Jun 2022
Never trust, always verify : a roadmap for Trustworthy AI?
L. Tidjon
Foutse Khomh
386
17
0
23 Jun 2022
CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness
Julien Girard-Satabin
Michele Alberti
F. Bobot
Zakaria Chihani
Augustin Lemesle
376
12
0
07 Jun 2022
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles
Social Science Research Network (SSRN), 2022
Patrick Musau
Nathaniel P. Hamilton
Diego Manzanas Lopez
Preston K. Robinette
Taylor T. Johnson
175
0
0
03 May 2022
Fixed-Point Code Synthesis For Neural Networks
Hanane Benmaghnia
M. Martel
Yassamine Seladji
MQ
248
6
0
04 Feb 2022
Trustworthy AI: From Principles to Practices
Yue Liu
Peng Qi
Bo Liu
Shuai Di
Jingen Liu
Jiquan Pei
Jinfeng Yi
Bowen Zhou
562
575
0
04 Oct 2021
The Role of Explainability in Assuring Safety of Machine Learning in Healthcare
IEEE Transactions on Emerging Topics in Computing (TETC), 2021
Yan Jia
John McDermid
T. Lawton
Ibrahim Habli
324
68
0
01 Sep 2021
Verifying Low-dimensional Input Neural Networks via Input Quantization
Kai Jia
Martin Rinard
AAML
207
16
0
18 Aug 2021
Neural Network Repair with Reachability Analysis
International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2021
Xiaodong Yang
Tomochika Yamaguchi
Hoang-Dung Tran
Bardh Hoxha
Taylor T. Johnson
Danil Prokhorov
AAML
239
35
0
09 Aug 2021
PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations
Mark Niklas Muller
Gleb Makarchuk
Gagandeep Singh
Markus Püschel
Martin Vechev
359
118
0
05 Mar 2021
1
Page 1 of 1
