ResearchTrend.AI
Tighter Abstract Queries in Neural Network Verification
v1v2 (latest)

Tighter Abstract Queries in Neural Network Verification

Elazar Cohen
Y. Elboher
Clark W. Barrett
Guy Katz
ArXiv (abs)PDFHTML

Papers citing "Tighter Abstract Queries in Neural Network Verification"

4 / 4 papers shown
Title
Abstraction-Based Proof Production in Formal Verification of Neural Networks
Abstraction-Based Proof Production in Formal Verification of Neural Networks
Y. Elboher
Omri Isac
Guy Katz
Tobias Ladner
Haoze Wu
120
0
0
11 Jun 2025
Proof-Driven Clause Learning in Neural Network Verification
Proof-Driven Clause Learning in Neural Network Verification
Omri Isac
Idan Refaeli
Haoze Wu
Clark W. Barrett
Guy Katz
206
0
0
15 Mar 2025
Safe and Reliable Training of Learning-Based Aerospace Controllers
Safe and Reliable Training of Learning-Based Aerospace Controllers
Udayan Mandal
Guy Amir
Haoze Wu
Ieva Daukantas
Fletcher Lee Newell
...
Kerianne Hobbs
Milan Ganai
Tobey Shim
Guy Katz
Clark Barrett
108
5
0
09 Jul 2024
Verifying Generalization in Deep Learning
Verifying Generalization in Deep Learning
Guy Amir
Osher Maayan
Tom Zelazny
Guy Katz
Michael Schapira
AAMLAI4CE
120
14
0
11 Feb 2023

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.