3 papers
cs.LG2025
VeriFlow: Modeling Distributions for Neural Network Verification
Faried Abu Zaid, Daniel Neider, Mustafa Yalçıner
Formal verification has emerged as a promising method to ensure the safety and reliability of neural networks. However, many relevant properties, such as fairness or global robustn…
cs.LG2025
On Uniformly Scaling Flows: A Density-Aligned Approach to Deep One-Class Classification
Faried Abu Zaid, Tim Katzke, Emmanuel Müller +1
Unsupervised anomaly detection is often framed around two widely studied paradigms. Deep one-class classification, exemplified by Deep SVDD, learns compact latent representations o…
cs.LG2025
sbi reloaded: a toolkit for simulation-based inference workflows
Jan Boelts, Michael Deistler, Manuel Gloeckler +30
Scientists and engineers use simulators to model empirically observed phenomena. However, tuning the parameters of a simulator to ensure its outputs match observed data presents a…