A lightweight Python package for setting up robustness experiments and to compute robustness distributions.
☆52Jul 28, 2026Updated 2 months ago
Alternatives and similar repositories for VERONA
Users that are interested in VERONA are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- ☆10Jun 10, 2023Updated 3 years ago
- a minimal website to get the diff of llm rewrites☆11Dec 11, 2024Updated last year
- A C++ SMT/OMT Parser Library☆53Sep 16, 2026Updated 3 weeks ago
- Hydra sweeper integration of our favorite optimization packages, utilizing ask-and-tell interfaces.☆16Nov 14, 2025Updated 10 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Bit-bLAsting solving Non-linear integer constraints.☆22Jul 3, 2025Updated last year
- ☆13Feb 1, 2024Updated 2 years ago
- Feature-Based Landscape Analysis of Continuous and Constrained Optimization Problems☆29Aug 27, 2026Updated last month
- HyperSHAP is a holistic framework for explaining hyperparameter optimization based on Shapley values and interactions.☆22Apr 24, 2026Updated 5 months ago
- Implementations of var-sortability, sortnregress, and chain-orientation as presented in the article "Beware of the Simulated DAG": https:…☆15Nov 2, 2023Updated 2 years ago
- Control Synthesis from Formal Specifications using Reinforcement Learning☆24Aug 15, 2025Updated last year
- ☆345Sep 18, 2026Updated 3 weeks ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 8 months ago
- DEIR: Efficient and Robust Exploration through Discriminative-Model-Based Episodic Intrinsic Rewards☆27May 6, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Sandbox environment for generalizable agent research☆27Aug 19, 2022Updated 4 years ago
- Haskell bindings to Rust's regex library☆19Mar 24, 2025Updated last year
- Agda to C compiler☆11Sep 23, 2025Updated last year
- A toolkit for enforcing logical specifications on neural networks☆134Updated this week
- [ICCV2023] Borrowing Knowledge From Pre-trained Language Model: A New Data-efficient Visual Learning Paradigm☆18Sep 28, 2023Updated 3 years ago
- an implementation of Evolution for a course on Sw Dev☆10May 9, 2016Updated 10 years ago
- HPO and Architecture Benchmarking for RL: Dynamically, Reactive and Efficient☆34Jun 16, 2026Updated 3 months ago
- Verified NbE via gluing in Agda☆11May 19, 2024Updated 2 years ago
- Source code for the memory profiling webinar livestreamed at Dec 1, 2022☆13Dec 2, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Dependently Timed Drum Machine Language☆12May 4, 2024Updated 2 years ago
- Graphical user interface for lavaan☆24Jun 26, 2026Updated 3 months ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 9 months ago
- ☆41Nov 23, 2021Updated 4 years ago
- Distrax, but in equinox. Lightweight JAX library of probability distributions and bijectors.☆48Sep 10, 2026Updated 3 weeks ago
- Session types framework with support of protocol pipelining.☆16Aug 24, 2026Updated last month
- An agda2hs-compatible library for well-scoped syntax☆11Aug 26, 2026Updated last month
- ☆21Jul 21, 2025Updated last year
- Official code release for ICLR23 "Diminishing Return of Value Expansion Methods in Model-Based Reinforcement Learning"☆16Mar 8, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆16Jan 23, 2024Updated 2 years ago
- Composable intrincially-typed definitional interpreters☆17Nov 13, 2022Updated 3 years ago
- Machine learning using convolution neural network Required: raspberry pi pi cam compatibile rc car motor driver l293d Please create th…☆17Dec 22, 2018Updated 7 years ago
- Notes (and implementation) of unification with binders☆17Feb 10, 2026Updated 7 months ago
- This repository contains the code for RL for POMDPs through learning an Approximate Information State.☆23Nov 29, 2025Updated 10 months ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Feb 23, 2018Updated 8 years ago
- Turn Haskell expressions into pointfree style in your browser with WASM☆13Dec 15, 2024Updated last year