notesum.ai

Published at October 31

Neural Network Verification with PyRAT

cs.AI

cs.LG

Released Date: October 31, 2024

Authors: Augustin Lemesle¹, Julien Lehmann¹, Tristan Le Gall¹

Aff.: ¹Unknown

Arxiv: http://arxiv.org/abs/2410.23903v1

Refer to caption