Muhammad Atallah

eNNcode: Optimization-Based Analysis of Neural Networks

The increasing use of neural networks (NNs) in high-stakes decision-making requires rigorous analysis to ensure safety, fairness, and explainability. Formal verification tools for neural networks typically focus on determining the satisfiability of properties such as safety or fairness. However, man