Skip to content

Rankings Industries Companies Research Blog

Sign in List your company

ResearchFormerly WizWand

Papers Benchmarks Datasets Tasks

Research
Benchmarks
Bound Propagation for Neural Network Verification on cersyve

Bound Propagation for Neural Network Verification on cersyve

4.27WidthLUNA

Updated 7mo ago

Evaluation results

Method	Links
LUNA2026.03		4.27	1.23	12
AUTO_LiRPA2026.03		4.38	6.77	12

State-of-the-art paper

LUNA

The Luna Bound Propagator for Formal Analysis of Neural Networks

Dataset

cersyve

Follow for updates

Join SOTA2 Contact

Related benchmarks

Bound Propagation for Neural Network Verification on acasxu 2023 Bound Propagation for Neural Network Verification on cifar100 2024 Bound Propagation for Neural Network Verification on collins_rul_cnn 2022 Bound Propagation for Neural Network Verification on cora 2024 Bound Propagation for Neural Network Verification on linearizenn 2024

Building an AI company?

Claim your profile, keep your facts current and see how buyers find you. Rankings are never paid for.

How rankings work List your company

Find AI companies and products for your business problem. Compare solutions and evidence by industry and task.

Explore

Rankings
Industries
Categories
Companies
Top AI companies

Read

Blog
Research
llms.txt

For AI companies

List your company
Claim a profile
Ranking badges

SOTA2 with AI

Claude connector
ChatGPT plugin
Tool reference
Connector privacy
Connector terms

SOTA2

Why SOTA2
How we rank
Contact

© 2026 SOTA2Built in Bellevue, USA