3 papers
cs.CR2025
ReSMT: An SMT-Based Tool for Reverse Engineering
Nir Somech, Guy Katz
Software obfuscation techniques make code more difficult to understand, without changing its functionality. Such techniques are often used by authors of malicious software to avoid…
cs.LG2025
Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
Yizhak Yisrael Elboher, Avraham Raviv, Amihay Elboher +4
Ensuring the safety and efficiency of AI systems is a central goal of modern research. Formal verification provides guarantees of neural network robustness, while early exits impro…
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…