2 papers
cs.LO2026
veriFIRE: an Industrial Case Study in Verifying Consistency Properties for a DNN-Based Wildfire Detection System
Idan Refaeli, Maya Swisa, Itay Buchnik +5
We present our ongoing work on the veriFIRE project: a collaboration between industry and academia, aimed at applying verification to increase the reliability of a real-world, safe…
cs.LO2025
Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification
Maya Swisa, Guy Katz
Modern neural network verifiers often encode neural network verification as constraint satisfaction problems. When dealing with standard piecewise-linear activation functions, such…