Neural Network Verification Using Residual Reasoning. - Yizhak Yisrael Elboher; Elazar Cohen; Guy Katz (SEFM, 2022)

Tighter Abstract Queries in Neural Network Verification. - Elazar Cohen; Yizhak Yisrael Elboher; Clark W. Barrett; Guy Katz (LPAR, 2023)

On applying residual reasoning within neural network verification. - Yizhak Yisrael Elboher; Elazar Cohen; Guy Katz (Softw. Syst. Model., 2024)