-
Notifications
You must be signed in to change notification settings - Fork 63
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
star: differential star reachability for network-equivalence queries (isomorphic_acasxu)
researchResearch-grade exploration (publishable / probe-gated)Research-grade exploration (publishable / probe-gated)star-methodsStar-set method improvement initiative (2026-07 roadmap)Star-set method improvement initiative (2026-07 roadmap)Status: Open.#460 In verivital/nnv;lpsolver: LP micro-optimizations — persistent options, tiny-LP routing, box-redundant row filter, xopt return, per-LP time cap
enhancementNew feature or requestNew feature or requeststar-methodsStar-set method improvement initiative (2026-07 roadmap)Star-set method improvement initiative (2026-07 roadmap)Status: Open.#459 In verivital/nnv;star: smooth-activation tightening — midpoint tangents for TanSig/LogSig, and a probe-gated Sin/Cos Taylor-model star transformer for ml4acopf
enhancementNew feature or requestNew feature or requeststar-methodsStar-set method improvement initiative (2026-07 roadmap)Star-set method improvement initiative (2026-07 roadmap)Status: Open.#458 In verivital/nnv;gpu-bab: exact FP64 leaf-LP joint feasibility check at fully-fixed BaB nodes
enhancementNew feature or requestNew feature or requeststar-methodsStar-set method improvement initiative (2026-07 roadmap)Star-set method improvement initiative (2026-07 roadmap)Status: Open.#457 In verivital/nnv;star: Star.dualBounds — batched weak-duality (beta-CROWN-style) bounds over the star's own predicate constraints
researchResearch-grade exploration (publishable / probe-gated)Research-grade exploration (publishable / probe-gated)star-methodsStar-set method improvement initiative (2026-07 roadmap)Star-set method improvement initiative (2026-07 roadmap)Status: Open.#456 In verivital/nnv;star: intersect cached FP64 CROWN per-layer bounds into estimateRanges on the approx/relax paths ("CROWN-star")
enhancementNew feature or requestNew feature or requeststar-methodsStar-set method improvement initiative (2026-07 roadmap)Star-set method improvement initiative (2026-07 roadmap)Status: Open.#455 In verivital/nnv;relax-star: relaxFactor=0 ceiling probe on the relusplitter/cora unknowns (gates all estimate-tightening work)
researchResearch-grade exploration (publishable / probe-gated)Research-grade exploration (publishable / probe-gated)star-methodsStar-set method improvement initiative (2026-07 roadmap)Star-set method improvement initiative (2026-07 roadmap)Status: Open.#454 In verivital/nnv;gpu-bab: ConvTranspose support to un-block cgan2026 certification (nn_to_ops op, or measured per-cell approx-star)
enhancementNew feature or requestNew feature or requeststar-methodsStar-set method improvement initiative (2026-07 roadmap)Star-set method improvement initiative (2026-07 roadmap)Status: Open.#453 In verivital/nnv;vnncomp-runner: adaptive_cruise 2-D cell-grid certification via batched FP64 bounds and the existing python AST interval evaluator
enhancementNew feature or requestNew feature or requeststar-methodsStar-set method improvement initiative (2026-07 roadmap)Star-set method improvement initiative (2026-07 roadmap)Status: Open.#452 In verivital/nnv;gpu-bab: batch the input-bisection BaB frontier (gpu_bab_halfspace_input_bab) via gpu_bab_crown_spec_dag with per-page input coefficients
enhancementNew feature or requestNew feature or requeststar-methodsStar-set method improvement initiative (2026-07 roadmap)Star-set method improvement initiative (2026-07 roadmap)Status: Open.#451 In verivital/nnv;vnncomp-runner: add cora to the FC FP64-CROWN precheck and give the relusplitter FC-BaB rung alpha/beta refinement plus a time budget
enhancementNew feature or requestNew feature or requeststar-methodsStar-set method improvement initiative (2026-07 roadmap)Star-set method improvement initiative (2026-07 roadmap)Status: Open.#450 In verivital/nnv;star: containment-based soundness regression suite for approx-star and all relax-star variants
enhancementNew feature or requestNew feature or requeststar-methodsStar-set method improvement initiative (2026-07 roadmap)Star-set method improvement initiative (2026-07 roadmap)Status: Open.#449 In verivital/nnv;