Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Neural Network Verification on oval VNN-COMP 2022

23.26Verification Time (s)

beta-CROWN

-1.012162.824326.66490.496Dec 31, 2024
Updated 1mo ago

Evaluation Results

MethodLinks
2024.12
23.2620
2024.12
32.1225
2024.12
59.8426
2024.12
73.6517
2024.12
137.1319
2024.12
233.846
2024.12
386.7117
2024.12
393.1411
2024.12
429.135
2024.12
630.063