Tags

abelian groups 2 Academic 1 Anomaly Detction 1 anomaly detection 1 Automatic Structures 5 complexity classes 1 decidability 1 finite structures 1 First Order Logic 1 fixed point logic 1 Linear Integer Arithmetic 1 logic 7 machine learning 2 modal logic 1 model theory 1 Monadic Second Order Logic 1 neural network verification 1 Neuro-Symbolic Verification 1 Normalizing Flows 2 omega-automatic structures 1 open source 1 polynomial time 1 probabilistic modeling 3 Project 1 queue monoid 1 real numbers 1 Release 1 scientific software 1 semigroups 1 simulation-based inference 1 Symbolic Computation 1