yizhake

Pinned Repositories

gt4vnn
Gradual Training for Verification of Neural Networks
Language:Python10
Marabou
Language:C++269 28 26894
Modelling2014
Language:Java10
alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)
Language:Python260 14 8165
cegarette_nn
Tighter Abstract Queries in CEGAR-based Neural Network Verification
Language:Python00
yizhake.github.io
Language:CSS00

yizhake's Repositories

yizhake/cegarette_nn
Tighter Abstract Queries in CEGAR-based Neural Network Verification
Language:Python00
yizhake/yizhake.github.io
Language:CSS00