Skip to content

Latest commit

 

History

History
12 lines (8 loc) · 511 Bytes

README.md

File metadata and controls

12 lines (8 loc) · 511 Bytes

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