6 citations · 11 across the 11 of their papers we have counts for
Showing 2025 · cs.LOShow all
3 papers · 2 filters
cs.LO2025
Proof Minimization in Neural Network Verification
Omri Isac, Idan Refaeli, Haoze Wu +2
The widespread adoption of deep neural networks (DNNs) requires efficient techniques for verifying their safety. DNN verifiers are complex tools, which might contain bugs that coul…
cs.LO2025
Abstraction-Based Proof Production in Formal Verification of Neural Networks
Yizhak Yisrael Elboher, Omri Isac, Guy Katz +2
Modern verification tools for deep neural networks (DNNs) increasingly rely on abstraction to scale to realistic architectures. In parallel, proof production is becoming a critical…
cs.LO2025
PICID: Proof-Driven Clause Learning in Neural Network Verification
Omri Isac, Idan Refaeli, Haoze Wu +2
Current Deep Neural Network (DNN) verifiers are typically designed to prioritize scalability over reliability. Reliability can be reinforced through the generation of proofs that a…