Search results

Final Evaluation

Status: Open.

#13 In VNN-COMP/vnncomp2026;

· toladnertum opened on Jun 30, 2026

[RULES] timeout handling at scoring time

Status: Open.

#12 In VNN-COMP/vnncomp2026;

· stanleybak opened on Jun 25, 2026

[RULES] Counter exemples in VNNLib 2.0 with multiple models / inputs

Status: Open.

#11 In VNN-COMP/vnncomp2026;

· Dalahro opened on Jun 18, 2026

Clarify result-file string: sat/unsat vs holds/violated in rules.md

Status: Open.

#10 In VNN-COMP/vnncomp2026;

· ttj opened on Jun 12, 2026

Tool Submission Period

Status: Open.

#9 In VNN-COMP/vnncomp2026;

· toladnertum opened on Jun 8, 2026

[BENCHMARK] SoundnessBench 2026

Status: Open.

#8 In VNN-COMP/vnncomp2026;

· Kevinyang555 opened on May 26, 2026

[BENCHMARK] cGAN 2026

Status: Open.

#7 In VNN-COMP/vnncomp2026;

· Eli-Pregerson opened on May 18, 2026

Benchmark Voting

Status: Open.

#6 In VNN-COMP/vnncomp2026;

· toladnertum opened on May 18, 2026

[BENCHMARK] ReluSplitter_mnist

Status: Open.

#5 In VNN-COMP/vnncomp2026;

· lli-debu opened on May 13, 2026

[BENCHMARK] Challenging Certified Training

Status: Open.

#4 In VNN-COMP/vnncomp2026;

· kkaulen opened on May 11, 2026

[RULES] Error Tolerance

Status: Open.

#2 In VNN-COMP/vnncomp2026;

· Jubengo opened on Apr 16, 2026

[FEEDBACK] Suggestion: improving benchmark rules and process

Status: Open.

#1 In VNN-COMP/vnncomp2026;

· lli-debu opened on Apr 15, 2026