alpha-beta-CROWN
★ 0
updated 27d ago
⑂ fork
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)
No plain-English explanation yet — one is being written right now. Check back in a minute.