A Formally Verified Neural Network Converter for the Interactive Theorem Prover Coq. - Leo Alexander Gummersbach; Kim Völlinger; Andrei Aleksandrov (TASE, 2025)