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
Uniformly Automatic Classes of Finite Structures
Study of uniformly automatic classes of finite structures.
Faried Abu Zaid
•
•
1 min readThe Cayley-Graph of the Queue Monoid: Logic and Decidability
Logic and decidability in the Cayley-Graph of the Queue Monoid.
Faried Abu Zaid
•
•
1 min readClimbing up the Elementary Complexity Classes with Theories of Automatic Structures
A study of elementary complexity classes in the context of automatic structures.
Faried Abu Zaid
•
•
1 min readAdvice Automatic Structures and Uniformly Automatic Classes
Advice automatic structures and uniformly automatic classes in logic.
Faried Abu Zaid
•
•
1 min readDefinability of summation problems for Abelian groups and semigroups
Definability of summation problems for Abelian groups and semigroups.
Faried Abu Zaid
•
•
1 min readChoiceless Polynomial Time on Structures with Small Abelian Colour Classes
Choiceless polynomial time on structures with small abelian colour classes.
Faried Abu Zaid
•
•
1 min readBisimulation Safe Fixed Point Logic
Bisimulation safe fixed point logic in modal logic.
Faried Abu Zaid
•
•
1 min readThe Field of Reals is not omega-Automatic
The field of reals and omega-automatic structures.
Faried Abu Zaid
•
•
1 min read