Update README.md - Githubissues

Verified-Intelligence / alpha-beta-CROWN

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)

Other

243 stars 60 forks source link

Closed kamdoumloich closed 1 year ago

kamdoumloich commented 1 year ago

a few typos corrected

huanzhang12 commented 1 year ago

Thanks for checking the README carefully! I will merge this.