• Bio
  • Papers
  • Talks
  • News
  • Experience
  • Projects
  • Teaching
  • Publications
    • VeriFlow: Modeling Distributions for Neural Network Verification
    • On Uniformly Scaling Flows: A Density-Aligned Approach to Deep One-Class Classification
    • sbi reloaded: a toolkit for simulation-based inference workflows
    • The Cayley-Graph of the Queue Monoid: Logic and Decidability
    • Uniformly Automatic Classes of Finite Structures
    • Climbing up the Elementary Complexity Classes with Theories of Automatic Structures
    • Advice Automatic Structures and Uniformly Automatic Classes
    • Definability of summation problems for Abelian groups and semigroups
    • Choiceless Polynomial Time on Structures with Small Abelian Colour Classes
    • Bisimulation Safe Fixed Point Logic
    • Model-Theoretic Properties of ω-Automatic Structures
    • The Field of Reals is not omega-Automatic
  • Teaching
    • AAAI 2026 Poster: VeriFlow
    • Methods and Issues in Explainable AI— Free Online Course
    • Machine Learning Blog - appliedAI
    • ICLR Blogpost 2024: Elaborating on the Value of Flow Matching for Density Estimation
    • Practical Anomaly Detection — Free Online Course
  • Projects
    • AutStr: Symbolic Infinite Structures in Python
    • USFlows: Flow models with density preserving latent space alignment
  • Projects
  • Experience
  • Blog
    • AutStr 1.0.1
  • Recent & Upcoming Talks
Teaching
AAAI 2026 Poster: VeriFlow

AAAI 2026 Poster: VeriFlow

Feb 1, 2026·
Faried Abu Zaid
,
Daniel Neider
,
Mustafa Yalçiner
· 1 min read
PDF DOI Site
Image credit: AAAI 2026

Our AAAI-26 poster provides a concise overview of our VeriFlow paper. For a detailed exposition, please refer to the corresponding publication page.

Last updated on Feb 1, 2026
Methods and Issues in Explainable AI— Free Online Course Sep 26, 2025 →

© 2026 Faried Abu Zaid. This work is licensed under CC BY NC ND 4.0

Made with Hugo Blox — Open Source. Create your site →