List your company

ResearchFormerly WizWand

acasxu

Benchmarks

TaskDatasetSOTA resultTrendResults

Neural Network Verification

acasxu VNN-COMP

150.25Verification Time (s)

11

Bound Propagation for Neural Network Verification

acasxu 2023

867.42Propagation Width

2