A Formally Verified Neural Network Converter for the Interactive Theorem Prover Coq.

Leo Alexander Gummersbach, Kim Vllinger, Andrei Aleksandrov

Browse the full TASE paper archive.