Pinned Repositories
3dcertify
3DCertify is the first verifier to certify robustness of point cloud models against semantic transformations and point perturbations
CNN-Cert
Codes for reproducing the experimental results in "CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks", published at AAAI 2019
CoProtector
Code for the prototype tool in our paper "CoProtector: Protect Open-Source Code against Unauthorized Training Usage with Data Poisoning".
eran
ETH Robustness Analyzer for Deep Neural Networks
FROWN
Fastened CROWN: Tightened Neural Network Robustness Certificates
Marabou
maxlin
Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation (CVPR 2024)
onnx
Open standard for machine learning interoperability
ThesisWritingTips
毕业论文书写规范要求
vnncomp2021
VNN Neural Network Verification Competition 2021
xiaoyuanpigo's Repositories
xiaoyuanpigo/maxlin
Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation (CVPR 2024)
xiaoyuanpigo/ThesisWritingTips
毕业论文书写规范要求
xiaoyuanpigo/vnncomp2021
VNN Neural Network Verification Competition 2021
xiaoyuanpigo/3dcertify
3DCertify is the first verifier to certify robustness of point cloud models against semantic transformations and point perturbations
xiaoyuanpigo/CNN-Cert
Codes for reproducing the experimental results in "CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks", published at AAAI 2019
xiaoyuanpigo/CoProtector
Code for the prototype tool in our paper "CoProtector: Protect Open-Source Code against Unauthorized Training Usage with Data Poisoning".
xiaoyuanpigo/eran
ETH Robustness Analyzer for Deep Neural Networks
xiaoyuanpigo/FROWN
Fastened CROWN: Tightened Neural Network Robustness Certificates
xiaoyuanpigo/Marabou
xiaoyuanpigo/onnx
Open standard for machine learning interoperability
xiaoyuanpigo/onnx2pytorch
xiaoyuanpigo/prover
Verifier for Deep Neural Network Audio Processing
xiaoyuanpigo/pytorch_models
CNN经典网络结构复现：LeNet5、AlexNet、VGG、ResNet、InceptionNet等。
xiaoyuanpigo/SelfDenoise
xiaoyuanpigo/vnncomp2023_benchmarks
Benchmarks for the VNN Comp 2023
xiaoyuanpigo/xiaoyuanpigo.github.io