Efficient and Mathematically Robust Operations for Certified Neural Networks Inference

Fabien Geyer, Johannes Freitag, Tobias Schulz +1

In recent years, machine learning (ML) and neural networks (NNs) have gained widespread use and attention across various domains, particularly in transportation for achieving auton…