PyRAT ranked third place at VNN-Comp

For its first participation, during the Fourth International Verification of Neural Networks Competition (VNN-COMP 2023), the abstract analyzer PyRAT finished at the third place by verifying more than 400 properties on 8 different benchmarks. Congratulations to all competitors! For more details, you may consult the full report of the competition.