Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / Verified-Intelligence/auto_LiRPA issues and pull requests

#85 - Can auto_LiRPA Handle Networks with Multiplication Operations?

Issue - State: closed - Opened by lzx-center 26 days ago - 2 comments

#84 - Using pretrained wide_resnet_imagenet64_1000

Issue - State: open - Opened by aknirala about 2 months ago - 2 comments

#83 - Is Sigmoid not supported yet?

Issue - State: closed - Opened by aknirala about 2 months ago - 1 comment

#82 - error in setup repo on wrong graphic char 0x8f (PLAY) in README

Issue - State: closed - Opened by bardout about 2 months ago - 1 comment

#80 - not support conv1d

Issue - State: open - Opened by xiaoziguys 3 months ago

#79 - Error when indexing into sequence dimension

Issue - State: open - Opened by flaskeee 3 months ago

#78 - How to read vnnlib file in auto-LiRPA?

Issue - State: closed - Opened by ytsao 4 months ago - 3 comments

#77 - AssertionError Triggered in LiRPA with YOLO-seg-v8

Issue - State: closed - Opened by aknirala 4 months ago - 1 comment

#73 - ERROR with ReLU, inplace_unfold cause the bad shape.

Issue - State: open - Opened by charnameRed 5 months ago - 2 comments

#71 - AttributeError: 'Patches' object has no attribute 'size'

Issue - State: closed - Opened by xiaoziguys 5 months ago - 2 comments

#70 - An problem when using relu and linear layer

Issue - State: open - Opened by fxh903 6 months ago - 1 comment

#69 - How is BoundedModule.split_nodes initialized?

Issue - State: closed - Opened by nhamlv-55 7 months ago - 1 comment

#68 - CUDA out-of-memory when running examples/vision/jacobian.py

Issue - State: closed - Opened by nhamlv-55 7 months ago - 1 comment

#67 - Error with perturbations on some elements in x_L and x_U

Issue - State: open - Opened by nnjnjn 8 months ago - 1 comment

#66 - Installation error

Issue - State: closed - Opened by ytsao 8 months ago - 4 comments

#64 - ERROR with GELU

Issue - State: closed - Opened by nnjnjn 9 months ago - 9 comments

#57 - error with torch.pow(output1,output2)

Issue - State: closed - Opened by mlpotter 12 months ago - 4 comments

#56 - Issue with Verifying MaxPool Layers in auto_LiRPA

Issue - State: closed - Opened by r11942152 about 1 year ago - 4 comments

#55 - BoundDropout error

Issue - State: closed - Opened by ForeverZyh about 1 year ago - 1 comment

#54 - Issues on examples/vision/simple_verification.py with different parameters

Issue - State: closed - Opened by r11942152 about 1 year ago - 3 comments

#53 - Cuonglannguyen patch 1

Pull Request - State: closed - Opened by cuonglannguyen about 1 year ago

#52 - Error Installing Cuda Extensions

Issue - State: open - Opened by cherrywoods about 1 year ago - 2 comments

#51 - BoundedModule Error on a Convolutional Layer

Issue - State: closed - Opened by mhmd97z about 1 year ago - 2 comments

#50 - How to enable Branch and Bound

Issue - State: closed - Opened by nhamlv-55 over 1 year ago - 2 comments

#49 - assert not sparse_intermediate_bounds or use_sparse_conv is False

Issue - State: open - Opened by yusiyoh over 1 year ago - 3 comments

#48 - Intermediate bounds for gradient nodes

Issue - State: closed - Opened by nhamlv-55 over 1 year ago - 2 comments

#47 - Can I compute the L2 local Lipschitz constant with the framework?

Issue - State: open - Opened by kwmaeng91 over 1 year ago - 4 comments

#46 - Not all layers are storing upper and lower bounds.

Issue - State: closed - Opened by haydn-jones over 1 year ago - 10 comments

#45 - build_gradient_node is not supperted for Sigmoid and Tanh.

Issue - State: open - Opened by Walleclipse over 1 year ago - 2 comments

#44 - `get_sparse_C` function encountered index error

Issue - State: open - Opened by nrober1122 over 1 year ago

#43 - Exponentially increasing computation time with increasing network size

Issue - State: closed - Opened by nrober1122 over 1 year ago - 4 comments

#42 - Errors depending on choice of epsilon-ball for alpha-crown and closed-loop dynamics model

Issue - State: open - Opened by mfe7 over 1 year ago - 3 comments
Labels: Workaround

#41 - onnx::SoftmaxCrossEntropyLoss not supported

Issue - State: closed - Opened by Sol-Bridger over 1 year ago - 1 comment

#40 - Loading bounded model as a child

Issue - State: closed - Opened by nurlanov-zh almost 2 years ago - 3 comments

#39 - different kernel size and stride in BoundMaxPool

Issue - State: open - Opened by xiangchong1 almost 2 years ago - 2 comments
Labels: enhancement

#38 - Support for torch.clip

Issue - State: closed - Opened by chenxi-yang almost 2 years ago - 1 comment
Labels: enhancement

#37 - Providing intermediate constraints

Issue - State: closed - Opened by shubhamugare almost 2 years ago - 4 comments

#36 - [Feature Request] Cleaner interface for intermediate layers

Issue - State: open - Opened by j29scott almost 2 years ago - 4 comments

#35 - Possible Bug?

Pull Request - State: open - Opened by j29scott almost 2 years ago - 3 comments

#34 - Issues with examples/vision/simple_training.py

Issue - State: closed - Opened by wanyu42 about 2 years ago - 4 comments

#33 - Problem: Whether the perturbation range is optional？

Issue - State: closed - Opened by nnjnjn about 2 years ago - 1 comment

#32 - Verifying a network with inbuilt normalization

Issue - State: closed - Opened by cherrywoods about 2 years ago - 2 comments
Labels: Workaround

#31 - Bound of difference != difference of bound?

Issue - State: closed - Opened by haoming-codes over 2 years ago - 4 comments

#30 - auto Lirpa on other domains than Lp balls ?

Issue - State: closed - Opened by mducoffe over 2 years ago - 1 comment

#29 - Batch of epsilon

Issue - State: closed - Opened by nurlanov-zh over 2 years ago - 1 comment

#28 - Issue reproducing results from the paper for CIFAR-10

Issue - State: open - Opened by pratik18v over 2 years ago

#27 - Error messages for feedforward networks with method CROWN

Issue - State: closed - Opened by AntonXue over 2 years ago - 2 comments

#26 - Intermediate bounds

Issue - State: closed - Opened by nurlanov-zh over 2 years ago - 1 comment

#25 - Missing normalization of eps?

Issue - State: closed - Opened by ifrosio over 2 years ago - 3 comments

#24 - conv_3d

Issue - State: open - Opened by miaoxiaodaiblack over 2 years ago - 2 comments

#23 - 'BoundTranspose' object has no attribute 'lower'

Issue - State: closed - Opened by Cli212 over 2 years ago - 2 comments

#22 - Intermediate bounds

Issue - State: closed - Opened by nurlanov-zh over 2 years ago - 4 comments

#21 - Verification of HuggingFace models

Issue - State: open - Opened by freejen over 2 years ago - 1 comment

#20 - Performing complete verification

Issue - State: closed - Opened by shubhamugare over 2 years ago - 2 comments

#19 - Dual of LP

Issue - State: closed - Opened by nurlanov-zh almost 3 years ago - 1 comment

#18 - Typo

Issue - State: closed - Opened by nurlanov-zh almost 3 years ago - 1 comment

#17 - Two bound_forward functions for convolution

Issue - State: closed - Opened by BoyuanFeng almost 3 years ago - 4 comments

#16 - PyTorch ResNet-50 with Imagenet100

Issue - State: closed - Opened by parthjdoshi almost 3 years ago - 3 comments

#15 - Warning For a resnet with 2 resnet blocks

Issue - State: closed - Opened by Sawinder-Kaur almost 3 years ago - 7 comments

#14 - Using DataParallel Wrapped Models

Issue - State: closed - Opened by hx507 about 3 years ago - 1 comment

#13 - Fix IBP support for BoundSlice

Pull Request - State: closed - Opened by hx507 about 3 years ago - 3 comments

#12 - Normalization of embedding

Issue - State: closed - Opened by akshayv1 about 3 years ago - 6 comments

#11 - Asked to submit a bug report for a user warning

Issue - State: closed - Opened by iso-p about 3 years ago - 1 comment

#10 - Conv2d about Weights_training

Issue - State: closed - Opened by ChenYang1024 over 3 years ago - 1 comment

#9 - Xception Net

Issue - State: closed - Opened by maarab-sfu over 3 years ago - 6 comments

#8 - Compatibility with 0d parameters occurring in binary classifiers

Pull Request - State: closed - Opened by mnmueller almost 4 years ago - 4 comments

#7 - onnx::GlobalAveragePool

Issue - State: closed - Opened by Kozon2015 almost 4 years ago - 2 comments

#6 - upper bound and lower bound are always equal

Issue - State: closed - Opened by xinghua-qu almost 4 years ago - 8 comments

#5 - Last layer elision

Issue - State: closed - Opened by mil-ad about 4 years ago - 7 comments

#4 - Cross entropy using bounds

Issue - State: closed - Opened by mil-ad about 4 years ago - 1 comment

#3 - l2 norm + Normalization

Issue - State: closed - Opened by sungyoon-lee about 4 years ago - 4 comments

#2 - Failed to verify cifar_dm-large_2_255 from CROWN-IBP

Issue - State: closed - Opened by mzweilin over 4 years ago - 5 comments

#1 - BatchNorm2d support

Issue - State: closed - Opened by mzweilin over 4 years ago - 15 comments