Malte Jackisch
Malte Jackisch
Affiliation: Technische Universität Berlin
Pages in this Program
The Rocq-NN-Roll Prover: Soundly Verifying Hyperproperties of Neural Networks in Rocq
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑