Blohm, Peter

4 publications

ICLR 2026 Composition of Pretrained Diffusion Models: A Logic-Based Calculus Peter Blohm, Vikas K Garg

NeurIPS 2025 Discovering Opinion Intervals from Conflicts in Signed Graphs Peter Blohm, Florian Chen, Aristides Gionis, Stefan Neumann

ICML 2025 Probably Approximately Global Robustness Certification Peter Blohm, Patrick Indri, Thomas Gärtner, Sagar Malhotra

ICMLW 2024 Distillation Based Robustness Verification with PAC Guarantees Patrick Indri, Peter Blohm, Anagha Athavale, Ezio Bartocci, Georg Weissenbacher, Matteo Maffei, Dejan Nickovic, Thomas Gärtner, Sagar Malhotra