Showing stat.MLShow all
2 papers · 1 filter
stat.ML2026
Robustness Verification of Polynomial Neural Networks
Yulia Alexandr, Hao Duan, Guido Montúfar
We study robustness verification of neural networks via metric algebraic geometry. For polynomial neural networks, certifying a robustness radius amounts to computing the distance…
stat.ML2025
Understanding Learning Invariance in Deep Linear Networks
Hao Duan, Guido Montúfar
Equivariant and invariant machine learning models exploit symmetries and structural patterns in data to improve sample efficiency. While empirical studies suggest that data-driven…