alessandrodepalma

Pinned Repositories

distributed-slsh
Distributed Stratified Locality Sensitive Hashing
Language:Python00
expressive-losses
Expressive Losses for Verified Robustness via Convex Combinations
Language:Python30
ibpr
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
Language:Python20
oval-bab
OVAL framework for BaB-based Neural Network Verification
Language:Python00
oval21-benchmark
Language:Python00
oval-bab
OVAL framework for BaB-based Neural Network Verification
Language:Python12 12 03
sokcertifiedrobustness.github.io
Keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular datasets
Language:SCSS17 3 15
vnncomp2021
VNN Neural Network Verification Competition 2021
Language:Python37 9 322
vnn-comp
Language:Python12 10 88
unitary-scalarization-dmtl
In Defense of the Unitary Scalarization for Deep Multi-Task Learning
Language:Python21 3 33

alessandrodepalma's Repositories

alessandrodepalma/expressive-losses
Expressive Losses for Verified Robustness via Convex Combinations
Language:Python30
alessandrodepalma/ibpr
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
Language:Python20
alessandrodepalma/distributed-slsh
Distributed Stratified Locality Sensitive Hashing
Language:Python00
alessandrodepalma/oval-bab
OVAL framework for BaB-based Neural Network Verification
Language:Python00
alessandrodepalma/oval21-benchmark
Language:Python00