31 citations · 52 across the 8 of their papers we have counts for
1 paper · 1 filter
Matteo Cipollina, Michail Karatarakis, Freek Wiedijk
Neural networks are widely used, yet their analysis and verification remain challenging. We present a Lean~4 formalization covering both deterministic and stochastic models. We fir…