MMODELYST
People/Matthias Althoff
PPL

Matthias Althoff

Papers (2)
Multi-Variable Conformal Prediction: Optimizing Prediction Sets without Data SplittingFormally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes