☆11Oct 18, 2022Updated 4 years ago
Alternatives and similar repositories for VeriGauge-deprecated
Users that are interested in VeriGauge-deprecated are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A method for training neural networks that are provably robust to adversarial attacks. [IJCAI 2019]☆10Sep 3, 2019Updated 7 years ago
- [CCS 2021] TSS: Transformation-specific smoothing for robustness certification☆26Oct 3, 2023Updated 3 years ago
- A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]☆90Mar 24, 2023Updated 3 years ago
- Fourth edition of VNN COMP (2023)☆16Apr 12, 2023Updated 3 years ago
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆13Jan 5, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The official repo for GCP-CROWN paper☆13Sep 26, 2022Updated 4 years ago
- ☆12Dec 22, 2025Updated 10 months ago
- The evaluation framework for the InfiCoder-Eval benchmark.☆21Jul 22, 2024Updated 2 years ago
- Keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular da…☆20Jun 12, 2024Updated 2 years ago
- ☆31Jun 19, 2023Updated 3 years ago
- The official repository of 'Unnatural Language Are Not Bugs but Features for LLMs'☆25May 20, 2025Updated last year
- A website for game AI battle.☆12Apr 28, 2016Updated 10 years ago
- A package for parsing neural network properties in VNN-LIB format☆12Jul 18, 2026Updated 3 months ago
- This is the code for the paper "Jedi: Entropy-Based Localization and Removal of Adversarial Patches" puiblished in CVPR 2023: https://arx…☆12Jun 2, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Multi-agent active perception with prediction rewards☆12Aug 6, 2026Updated 3 months ago
- Registration-aided 3D Point Cloud Learning for Large-Scale Place Recognition (IROS 2021)☆12May 28, 2022Updated 4 years ago
- ☆13Apr 3, 2016Updated 10 years ago
- a naive static http server that solves C10K problem☆17Jan 8, 2017Updated 9 years ago
- This is the official code for CoRL 2022 "Robustness Certification of Visual Perception Models via Camera Motion Smoothing"☆11Apr 5, 2023Updated 3 years ago
- ☆12Jun 17, 2022Updated 4 years ago
- This is the official code for CoRL 2024 work "Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagatio…☆16Oct 6, 2025Updated last year
- The code accompanying paper: Nonlinear Gradient Estimation for Query Efficient Blackbox Attack☆10Feb 22, 2021Updated 5 years ago
- ☆10Apr 27, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- The Charon tool for analyzing neural network robustness☆13Mar 19, 2020Updated 6 years ago
- A C compiler with SSA-based backend optimzation☆15Mar 19, 2016Updated 10 years ago
- Jekyll Docker container for Github Pages☆11Mar 26, 2018Updated 8 years ago
- ☆19Nov 19, 2025Updated 11 months ago
- Enhance robot task understanding ability through visual semantic graph☆10May 20, 2021Updated 5 years ago
- code for "Tying the Loop - Tied Expert Layers in Mixture-of-Experts Language Models"☆15Jun 16, 2026Updated 4 months ago
- Single file interpreter (or naive virtual machine) for my intermediate representation. SSA support has been added.☆15Apr 27, 2016Updated 10 years ago
- Supporting repository for ICLR 2017 paper submission.☆16Feb 19, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- M2S: Multi-turn to Single-turn jailbreak in Red Teaming for LLMs☆13Aug 6, 2025Updated last year
- The Infibench variant of bigcode-evaluation-harness --- a framework for the evaluation of autoregressive code generation language models.☆14Oct 19, 2024Updated 2 years ago
- cheatbench.ai☆18Oct 28, 2026Updated last week
- Code to scrape CVPR website for list of accepted papers, find their arXiv links, extract metadata, and download pdfs☆10Jun 12, 2024Updated 2 years ago
- Cloudflare Worker that exposes an OpenAI-compatible /v1/chat/completions endpoint for GitHub Copilot via OpenAI Responses API, with Gemi…☆11Jul 21, 2026Updated 3 months ago
- Certified Object Detection with Randomized Median Smoothing☆13Oct 21, 2020Updated 6 years ago
- Official code for FAccT'21 paper "Fairness Through Robustness: Investigating Robustness Disparity in Deep Learning" https://arxiv.org/abs…☆13Mar 9, 2021Updated 5 years ago