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

linearizenn

Benchmarks

Task NameDataset NameSOTA ResultTrend
Bound Propagation for Neural Network Verificationlinearizenn 2024
Propagation Width43.44
2
Showing 1 of 1 rows