All issues

Search results

Missing alpha for a node at the beginning of BaB

Status: Open.

#106 In Verified-Intelligence/alpha-beta-CROWN;

· ilpleutdehors opened on Aug 11, 2026

Pruning of verified domains during BaB applies incompatible mask to update bounds_info.lower_bound

Status: Open.

#105 In Verified-Intelligence/alpha-beta-CROWN;

· ilpleutdehors opened on Aug 11, 2026

data_max and data_min swapped when checking clean inputs

Status: Open.

#104 In Verified-Intelligence/alpha-beta-CROWN;

· sergedurand opened on Jul 21, 2026

potential soundness bug in bounds propagation

Status: Open.

#103 In Verified-Intelligence/alpha-beta-CROWN;

· stanleybak opened on Jun 23, 2026

BoundSub not included in complete_verifier/heuristics/utils.py

Status: Open.

#102 In Verified-Intelligence/alpha-beta-CROWN;

· Aryaman-Prasad opened on Mar 29, 2026

Add TinyImageNet Support

Status: Open.

#101 In Verified-Intelligence/alpha-beta-CROWN;

· matteo-melis opened on Mar 2, 2026

IndexError on instances derived from ACAS Xu

Status: Open.

#100 In Verified-Intelligence/alpha-beta-CROWN;

· lli-debu opened on Feb 15, 2026

RuntimeError: torch.cat(): expected a non-empty list of Tensors

Status: Open.

#98 In Verified-Intelligence/alpha-beta-CROWN;

· yizhake opened on Aug 27, 2025

CROWN causes CUDA OOM on YOLO model; IBP-only leads to huge bound values and shape errors

Status: Open.

#97 In Verified-Intelligence/alpha-beta-CROWN;

· AmiraElouazzani opened on Jul 7, 2025

RuntimeError in domain_updater: torch.cat expected a non-empty list of Tensors

Status: Open.

#96 In Verified-Intelligence/alpha-beta-CROWN;

· itamar108 opened on May 28, 2025

Bab-Attack Enabled uses mask list instead of dictionaries

Status: Open.

#94 In Verified-Intelligence/alpha-beta-CROWN;

· stijnradboud opened on Apr 24, 2025

problems with embedding layers?

Status: Open.

#93 In Verified-Intelligence/alpha-beta-CROWN;

· ramonbejar opened on Mar 21, 2025