Pinned Repositories
2i013
Course de voiture : UE 2i013 UPMC
3M101-Quadtree
adversarial-attacks-pytorch
PyTorch implementation of adversarial attacks.
auto_LiRPA
[NeurIPS 2020]auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks
DNNV
A Framework for Deep Neural Network Verification
dope
DPNeurifyFV.jl
Verification of neural networks based on input splitting and forward propagation of symbolic intervals with fresh variables.
ELINA
ELINA: ETH LIbrary for Numerical Analysis
Ensemble-Pytorch
Implementations of scikit-learn like ensemble methods in Pytorch
projet_algo_2i003
Projet réalisé pour l'UE d'algorithmique (2i003) de l'UPMC.
sergedurand's Repositories
sergedurand/projet_algo_2i003
Projet réalisé pour l'UE d'algorithmique (2i003) de l'UPMC.
sergedurand/3M101-Quadtree
sergedurand/2i013
Course de voiture : UE 2i013 UPMC
sergedurand/adversarial-attacks-pytorch
PyTorch implementation of adversarial attacks.
sergedurand/auto_LiRPA
[NeurIPS 2020]auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks
sergedurand/check_install
sergedurand/DNNV
A Framework for Deep Neural Network Verification
sergedurand/dope
sergedurand/DPNeurifyFV.jl
Verification of neural networks based on input splitting and forward propagation of symbolic intervals with fresh variables.
sergedurand/ELINA
ELINA: ETH LIbrary for Numerical Analysis
sergedurand/Ensemble-Pytorch
Implementations of scikit-learn like ensemble methods in Pytorch
sergedurand/ICLR2022-OpenReviewData
Crawl & visualize ICLR papers and reviews
sergedurand/jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
sergedurand/jax_verify
Neural network verification in JAX
sergedurand/lightning-hydra-template
PyTorch Lightning + Hydra. A very user-friendly template for ML experimentation. ⚡🔥⚡
sergedurand/projet_automates_2i005
sergedurand/recipe-scrapers
Python package for scraping recipes data
sergedurand/recvis20_a3
sergedurand/ReluVal
The released code of ReluVal in USENIX Security 2018
sergedurand/resnet_finetune_cub
Fine tuning Codes for ResNet on cub-200-2011
sergedurand/SatSolver
DPLL + TWL Sat Solver and some problems encodings
sergedurand/SingleProp
Code for "Fast Training of Provably Robust Neural Networks by SingleProp", AAAI 2021
sergedurand/slt
Sign Language Transformers (CVPR'20)
sergedurand/stable-diffusion
sergedurand/stable_resnet
sergedurand/vnncomp2021
VNN Neural Network Verification Competition 2021