Aws Albarghouthi profile picture

Aws Albarghouthi

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Introduction to Neural Network Verification: A New Beginning 2. Neural Networks as Graphs 3. Correctness Properties 4. Logics and Satisfiability 5. Encodings of Neural Networks 6. DPLL Modulo Theories 7. Neural Theory Solvers 8. Neural Interval Abstraction 9. Neural Zonotope Abstraction 10. Neural Polyhedron Abstraction 11. Verifying with Abstract Interpretation 12. Abstract Training of Neural Networks 13. The Challenges Ahead Acknowledgements References
Introduction to Neural Network Verification