Alpha-Beta-CROWN

https://github.com/verified-intelligence/alpha-beta-crown

Alpha-Beta-CROWN is a fast and scalable GPU-accelerated neural network verifier using efficient...

Tokens:23,553
Snippets:215
Trust Score:9
License:BSD-3-Clause
Update:2 months ago
Tokens:
Raw