Lean Ridgelet
A Lean formalization of integral-representation neural networks and ridgelet transforms, with informal mathematical statements linked to machine-checked declarations.
A Lean formalization of integral-representation neural networks and ridgelet transforms, with informal mathematical statements linked to machine-checked declarations.