Statistical Verification of Modern Neural Networks: A Case Study

This project is for the paper - Statistical Verification of Modern Neural Networks: A Case Study.

This project contains three projects:

1. The exact count comparison - See the README for more details.
2. The Audio recognition case study - See the README for more details.
3. The LLM case-study - See the README for more details.

Good Luck,

Adiel & Nati