☆11Oct 18, 2022Updated 3 years ago
Alternatives and similar repositories for VeriGauge-deprecated
Users that are interested in VeriGauge-deprecated are comparing it to the libraries listed below
Sorting:
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆13Jan 5, 2024Updated 2 years ago
- A method for training neural networks that are provably robust to adversarial attacks. [IJCAI 2019]☆10Sep 3, 2019Updated 6 years ago
- Fourth edition of VNN COMP (2023)☆16Apr 12, 2023Updated 2 years ago
- The official repo for GCP-CROWN paper☆13Sep 26, 2022Updated 3 years ago
- The evaluation framework for the InfiCoder-Eval benchmark.☆21Jul 22, 2024Updated last year
- Keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular da…☆19Jun 12, 2024Updated last year
- ☆30Jun 19, 2023Updated 2 years ago
- [CCS 2021] TSS: Transformation-specific smoothing for robustness certification☆26Oct 3, 2023Updated 2 years ago
- ☆12Nov 30, 2018Updated 7 years ago
- Lecture notes for estimation and detection theory☆10May 2, 2017Updated 8 years ago
- Codes for "Part mutual information for quantifying direct associations in networks"☆10Sep 30, 2019Updated 6 years ago
- Practical Machine Learning With R and Python☆10Dec 3, 2017Updated 8 years ago
- Extracts static code features from opencl kernels to be used for machine learning.☆10Apr 30, 2021Updated 4 years ago
- ☆12Dec 22, 2025Updated 2 months ago
- ☆10Apr 27, 2021Updated 4 years ago
- A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]☆90Mar 24, 2023Updated 2 years ago
- ☆13Feb 14, 2022Updated 4 years ago
- Implementation for Proximal Neural Networks.☆11Sep 17, 2021Updated 4 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- Code for paper Almost-Orthogonal Layers for Efficient General-Purpose Lipschitz Networks☆12Aug 9, 2022Updated 3 years ago
- 南科大研究生课BME5012 人脑智能与机器智能 2022秋☆10Dec 12, 2022Updated 3 years ago
- The official codes for our paper at COLING 2022: Semantic-Preserving Adversarial Code Comprehension☆12Oct 23, 2022Updated 3 years ago
- SGD/ADAM/Amsgrad/AdamW/RAdam/Lookahead☆10Nov 18, 2019Updated 6 years ago
- Galaxy Docker Image for the HiCExplorer☆11Mar 3, 2019Updated 7 years ago
- Post hoc cell type classification of single-cell RNA-sequencing data.☆10Oct 5, 2021Updated 4 years ago
- Code to scrape CVPR website for list of accepted papers, find their arXiv links, extract metadata, and download pdfs☆10Jun 12, 2024Updated last year
- This is the official code for CoRL 2022 "Robustness Certification of Visual Perception Models via Camera Motion Smoothing"☆11Apr 5, 2023Updated 2 years ago
- This repository contains the replication package of our paper "Assessing the Security of GitHub Copilot’s Generated Code - A Targeted Rep…☆10Nov 16, 2023Updated 2 years ago
- Deadline countdowns for academic conferences relevant to the SSE chair.☆12Feb 10, 2026Updated 3 weeks ago
- Investigating and Defending Shortcut Learning in Personalized Diffusion Models☆13Nov 19, 2024Updated last year
- Solutions to homework problems in Bain and Engelhardt's Introduction to Probability and Mathematical Statistics.☆14Dec 7, 2014Updated 11 years ago
- Implementation of accurate coresets for known problems from the field of machine learning.☆11Nov 21, 2019Updated 6 years ago
- ☆11Apr 21, 2023Updated 2 years ago
- [NeurIPS 2024] Efficiency for Free: Ideal Data Are Transportable Representations☆19Jan 19, 2025Updated last year
- Download Activity Net Videos☆10Nov 3, 2015Updated 10 years ago
- Peking University Convex Optimization Course given by Professor Wen Zaiwen☆11Jan 11, 2018Updated 8 years ago
- ☆12Jun 17, 2022Updated 3 years ago
- Multiclass support matrix machine for single trial EEG classification☆11Jul 9, 2018Updated 7 years ago
- Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.☆10Sep 6, 2022Updated 3 years ago