Welcome!

This is a collection of some notes I’m willing to publish.

Recently updated notes

• 2023-06-01 — monomial
• 2023-05-31 — robustness
• 2023-05-31 — monic polynomial
• 2023-05-31 — local robustness
• 2023-05-31 — formal verification of neural networks
• 2023-05-31 — classification of verification algorithms
• 2023-05-31 — Piecewise-Linear Neural Network