Issues

• star: differential star reachability for network-equivalence queries (isomorphic_acasxu)

  researchstar-methods
  verivital/nnv#460 · Filter by author ttj opened on Jul 2, 2026

• lpsolver: LP micro-optimizations — persistent options, tiny-LP routing, box-redundant row filter, xopt return, per-LP time cap

  enhancementstar-methods
  verivital/nnv#459 · Filter by author ttj opened on Jul 2, 2026

• star: smooth-activation tightening — midpoint tangents for TanSig/LogSig, and a probe-gated Sin/Cos Taylor-model star transformer for ml4acopf

  enhancementstar-methods
  verivital/nnv#458 · Filter by author ttj opened on Jul 2, 2026
  1

• gpu-bab: exact FP64 leaf-LP joint feasibility check at fully-fixed BaB nodes

  enhancementstar-methods
  verivital/nnv#457 · Filter by author ttj opened on Jul 2, 2026

• star: Star.dualBounds — batched weak-duality (beta-CROWN-style) bounds over the star's own predicate constraints

  researchstar-methods
  verivital/nnv#456 · Filter by author ttj opened on Jul 2, 2026
  1

• star: intersect cached FP64 CROWN per-layer bounds into estimateRanges on the approx/relax paths ("CROWN-star")

  enhancementstar-methods
  verivital/nnv#455 · Filter by author ttj opened on Jul 2, 2026
  1

• relax-star: relaxFactor=0 ceiling probe on the relusplitter/cora unknowns (gates all estimate-tightening work)

  researchstar-methods
  verivital/nnv#454 · Filter by author ttj opened on Jul 2, 2026
  1

• gpu-bab: ConvTranspose support to un-block cgan2026 certification (nn_to_ops op, or measured per-cell approx-star)

  enhancementstar-methods
  verivital/nnv#453 · Filter by author ttj opened on Jul 2, 2026

• vnncomp-runner: adaptive_cruise 2-D cell-grid certification via batched FP64 bounds and the existing python AST interval evaluator

  enhancementstar-methods
  verivital/nnv#452 · Filter by author ttj opened on Jul 2, 2026

• gpu-bab: batch the input-bisection BaB frontier (gpu_bab_halfspace_input_bab) via gpu_bab_crown_spec_dag with per-page input coefficients

  enhancementstar-methods
  verivital/nnv#451 · Filter by author ttj opened on Jul 2, 2026

• vnncomp-runner: add cora to the FC FP64-CROWN precheck and give the relusplitter FC-BaB rung alpha/beta refinement plus a time budget

  enhancementstar-methods
  verivital/nnv#450 · Filter by author ttj opened on Jul 2, 2026

• star: containment-based soundness regression suite for approx-star and all relax-star variants

  enhancementstar-methods
  verivital/nnv#449 · Filter by author ttj opened on Jul 2, 2026

• star: latent-bug bundle — LeakyReLU relaxed-star wrong-index reset, Star.scaleRow center mis-indexing, stale outer-zonotope Z after approx-star ReLU, relax method-alias unification

  bugstar-methods
  verivital/nnv#448 · Filter by author ttj opened on Jul 2, 2026

• relax-star: TanSig 'relax-star' returns the input set unchanged — unsound stub reachable from tanh nets on relax ladders

  bugstar-methods
  verivital/nnv#447 · Filter by author ttj opened on Jul 2, 2026

• Error-induced unknown/timeout: reach fallback errors on input-set TYPE mismatch (tinyimagenet 'Input is not an ImageZono') — audit + fix ALL instances before VNN-COMP 2026

  verivital/nnv#441 · Filter by author ttj opened on Jun 28, 2026
  1

• ElementwiseAffineLayer: scale branch multiplies the ImageStar object instead of its basis array

  verivital/nnv#330 · Filter by author Kiguli opened on Jun 12, 2026

• LayerNormalizationLayer: undeclared TrainedMean/TrainedVariance properties; sequence path uses concrete bound propagation

  verivital/nnv#328 · Filter by author Kiguli opened on Jun 12, 2026

• matlab2nnv maps SelfAttentionLayer to nonexistent MultiHeadAttentionLayer

  verivital/nnv#329 · Filter by author Kiguli opened on Jun 12, 2026

• Star.estimateRanges silently assumes predicate bounds of [-1,1] when bounds are empty

  verivital/nnv#327 · Filter by author Kiguli opened on Jun 12, 2026

• exact-star completeness semantics in NN.verify_robustness are unsound for over-approximating layer paths

  verivital/nnv#324 · Filter by author Kiguli opened on Jun 12, 2026
  1

• Faster computation

  enhancement
  Feature

  verivital/nnv#293 · Filter by author mldiego opened on Dec 12, 2025

• Apple Silicon Support

  verivital/nnv#292 · Filter by author Kiguli opened on Dec 11, 2025

• Automate toolbox/support package/etc dependency installations

  enhancement
  verivital/nnv#244 · Filter by author ttj opened on Oct 3, 2024
  1

  

• Numerical error in conversion Star.getZono() causes 'lin-adaptive' algorithm for nonlinearODE reachability to fail

  verivital/nnv#142 · Filter by author mldiego opened on Apr 20, 2022

• Possible extra . in the MaxPooling2DLayer.m

  verivital/nnv#123 · Filter by author serenegrace opened on Jul 17, 2020