VeriFlow: Modeling Distributions for Neural Network Verification
A new probabilistic framework for neural network verification, enhancing reliability and robustness.
Faried Abu Zaid
•
•
1 min readRead more
On Uniformly Scaling Flows: A Density-Aligned Approach to Deep One-Class Classification
Uniformly scaling flows for anomaly detection unify density faithfulness with distance-based reasoning.
Faried Abu Zaid
•
•
1 min read
sbi reloaded: a toolkit for simulation-based inference workflows
A collaborative open-source toolkit for simulation-based inference, supporting probabilistic modeling and efficient workflow management.
Jan Boelts
•
•
1 min read