Issues

• Unsound CROWN bounds through a grouped (depthwise) convolution in conv_mode="patches"

  Verified-Intelligence/auto_LiRPA#104 · Filter by author ProfAsher opened on Sep 30, 2026

• Deprecation warning: torch.jit.script

  Verified-Intelligence/auto_LiRPA#103 · Filter by author byarbrough opened on Jul 29, 2026

• Release to PyPI

  Verified-Intelligence/auto_LiRPA#101 · Filter by author stanlrt opened on May 27, 2026

• Broken links for pre-trained model weights for Tiny-Imagenet and downscaled Imagenet.

  Verified-Intelligence/auto_LiRPA#99 · Filter by author MoshaLangerak opened on Mar 4, 2026
  1

• alpha-CROWN method compute_bound fails on broadcasting operators

  Verified-Intelligence/auto_LiRPA#95 · Filter by author elfman2 opened on Jul 11, 2025

• CROWN compute_bounds error on matmul

  Verified-Intelligence/auto_LiRPA#94 · Filter by author elfman2 opened on Jun 20, 2025
  3

• Weight Perturbation for Conv layers/ Batch norm

  Verified-Intelligence/auto_LiRPA#91 · Filter by author Gnomy17 opened on Feb 11, 2025
  2

• Shape error for 2 MaxPool layers in alpha-CROWN

  Verified-Intelligence/auto_LiRPA#90 · Filter by author phK3 opened on Dec 11, 2024

• How to implement custom activation functions?

  Verified-Intelligence/auto_LiRPA#87 · Filter by author phK3 opened on Nov 8, 2024

• cuda.OutOfMemoryError for reasonable size model

  Verified-Intelligence/auto_LiRPA#86 · Filter by author xhOwenMa opened on Oct 17, 2024

• Using pretrained wide_resnet_imagenet64_1000

  Verified-Intelligence/auto_LiRPA#84 · Filter by author aknirala opened on Sep 13, 2024
  2

• A question with Patch class while I am trying to fix #73

  Verified-Intelligence/auto_LiRPA#81 · Filter by author Winlere opened on Aug 30, 2024

• ERROR with ReLU, inplace_unfold cause the bad shape.

  Verified-Intelligence/auto_LiRPA#73 · Filter by author charnameRed opened on Jun 18, 2024
  2

• build_gradient_node is not supperted for Sigmoid and Tanh.

  feature request
  Verified-Intelligence/auto_LiRPA#45 · Filter by author Walleclipse opened on Apr 24, 2023
  2

• different kernel size and stride in BoundMaxPool

  feature request
  Verified-Intelligence/auto_LiRPA#39 · Filter by author xiangchong1 opened on Jan 11, 2023
  2

• [Feature Request] Cleaner interface for intermediate layers

  feature request
  Verified-Intelligence/auto_LiRPA#36 · Filter by author j29scott opened on Nov 9, 2022
  4

• Issue reproducing results from the paper for CIFAR-10

  Verified-Intelligence/auto_LiRPA#28 · Filter by author pratik18v opened on Apr 24, 2022

• conv_3d

  feature request
  Verified-Intelligence/auto_LiRPA#24 · Filter by author miaoxiaodaiblack opened on Mar 26, 2022
  2

• Verification of HuggingFace models

  feature request
  Verified-Intelligence/auto_LiRPA#21 · Filter by author freejen opened on Mar 7, 2022
  1