Issues

• CNN with Conv+ReLU+Pool crashes the CROWN abstractor (reshape of a 0-element tensor)

  dynaroars/neuralsat#34 · Filter by author ThorOdinson246 opened on Jul 21, 2026
  1

• Is it necessary to use Gurobi?

  dynaroars/neuralsat#30 · Filter by author ytsao opened on May 21, 2026
  10

• Different verification result with different VRAM avaliablility.

  dynaroars/neuralsat#26 · Filter by author lli-debu opened on Mar 3, 2026
  

• Onnx Issue

  dynaroars/neuralsat#24 · Filter by author jahnvi09 opened on Feb 25, 2026

• Intermittent CUDA error: device-side assert triggered

  dynaroars/neuralsat#23 · Filter by author lli-debu opened on Feb 18, 2026

• beartype violation

  dynaroars/neuralsat#18 · Filter by author lli-debu opened on Feb 9, 2026

• APTP proof produced is failing with APTP checker

  dynaroars/neuralsat#16 · Filter by author idan0610 opened on Jan 18, 2026
  2