Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

Published in International Conference on Computer Aided Verification (CAV'24), 2024