Issues

• [vnn-comp] Remaining sound-pipeline errors — support sweep 2026-06-29 (138 instances)

  sammsaski/n2v#60 · Filter by author sammsaski opened on Jun 30, 2026

• [vnn-comp] cgan_2023 / cgan2026: small_transformer reach — OnnxMatMul (set×set attention) not supported

  sammsaski/n2v#52 · Filter by author sammsaski opened on Jun 26, 2026

• Professionalize pip packaging (corrected, post-#7) — supersedes #8

  sammsaski/n2v#27 · Filter by author sammsaski opened on Jun 22, 2026

• Code formatter

  sammsaski/n2v#24 · Filter by author sammsaski opened on Jun 15, 2026

• Box/Zono constructors materialise dense n-by-n diagonal generator matrices: MemoryError at transformer-scale dims

  sammsaski/n2v#21 · Filter by author Kiguli opened on Jun 12, 2026

• Importing n2v requires torchdiffeq even for purely deterministic verification (eager probabilistic imports)

  sammsaski/n2v#22 · Filter by author Kiguli opened on Jun 12, 2026

• LeakyReLU reach lacks guards for negative_slope outside [0, 1]: silently unsound bounds for gamma<0 and gamma>1

  sammsaski/n2v#20 · Filter by author Kiguli opened on Jun 12, 2026

• Epsilon-level under-approximation (~5e-11) from the +1e-10 denominator pad in ReLU/LeakyReLU triangle relaxations

  sammsaski/n2v#19 · Filter by author Kiguli opened on Jun 12, 2026

• conv2d_hexatope / conv2d_octatope are placeholders that return the input bounds; their soundness tests are vacuous

  sammsaski/n2v#17 · Filter by author Kiguli opened on Jun 12, 2026

• Star-times-Star multiplication zero-pads predicate bounds, producing an empty reach set masked by get_ranges' IBP fallback

  sammsaski/n2v#18 · Filter by author Kiguli opened on Jun 12, 2026

• refactor: Unify LP solving across all set types via class-oriented LPBackend

  enhancement
  sammsaski/n2v#10 · Filter by author HCWDavid opened on Mar 27, 2026