Picture for Sascha Uhrig

Sascha Uhrig

Efficient and Mathematically Robust Operations for Certified Neural Networks Inference

Add code
Jan 16, 2024
Viaarxiv icon