Leo Alexander Gummersbach

According to our database, Leo Alexander Gummersbach authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

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

Leo Alexander Gummersbach, Kim Völlinger, Andrei Aleksandrov

Proceedings of the Theoretical Aspects of Software Engineering, 2025