Proiect de Verificare Formala https://github.com/ChristopherBrix/vnncomp2023_benchmarks/blob/main/benchmarks/collins_yolo_robustness/onnx/yolov5nano_LRelu_640.onnx.gz
Dataset - Traffic Signs Recognition
Tool - Alpha Beta Crown - https://github.com/Verified-Intelligence/alpha-beta-CROWN
Alpha Beta Crown Tutorial - https://colab.research.google.com/github/DDiekmann/Applied-Verification-Lab-Neural-Networks/blob/main/Tutorials/Alpha_Beta_Crown.ipynb#scrollTo=rz2u1ieA8NBv
Tool - neuralsat - https://github.com/dynaroars/neuralsat
Link Fisier Latex: https://www.overleaf.com/2885521132qznfzkxdfygy#baf239
Link Discord Chat: https://discord.gg/nrsEUeeM