Code accompanying NeurIPS '23 accepted paper "SALSA VERDE a machine learning attack on Learning with Errors with sparse small secrets"
☆21Nov 29, 2023Updated 2 years ago
Alternatives and similar repositories for verde
Users that are interested in verde are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cone program refinement☆10Mar 6, 2020Updated 6 years ago
- ☆14May 21, 2025Updated last year
- Synthetic LISA: a noise and signal simulator for LISA-like gravitational-wave observatories☆16Sep 14, 2017Updated 9 years ago
- Code for identifying natural backdoors in existing image datasets.☆15Aug 24, 2022Updated 4 years ago
- A python library to access and update the gauge/station database of MDR and compute randomForest QPE estimates☆10Sep 21, 2026Updated 3 weeks 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.
- A curated list on the literature of autoencoders for representation learning.☆31Dec 18, 2020Updated 5 years ago
- ☆20May 6, 2019Updated 7 years ago
- Tiny evaluation of leading LLMs on competitive programming problems☆14Apr 10, 2026Updated 6 months ago
- Global Precipitation Measurement (GPM) Ground Validation (GV) radar processing software (GVradar).☆10Sep 11, 2026Updated last month
- The code is for our NeurIPS 2019 paper: https://arxiv.org/abs/1910.04749☆34Mar 28, 2020Updated 6 years ago
- [NeurIPS-2023] The PyTorch Implementation of MoSo. The algorithms are based on our paper: "Data Pruning via Moving-one-Sample-out". MoSo …☆11May 21, 2026Updated 4 months ago
- WebAssembly module signing & signature verification☆14Sep 29, 2022Updated 4 years ago
- Code for "So similar and yet incompatible: Toward the automated identification of semantically compatible words" in NAACL 2015 proceedi…☆11May 11, 2015Updated 11 years ago
- An evolutionary algorithm-based optimization for tracking weights in the OpenSim Residual Reduction Algorithm (RRA).☆11Jul 17, 2023Updated 3 years 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.
- fazic.fazibear.me☆23Apr 22, 2026Updated 5 months ago
- Debiasing Through Data Attribution☆13May 23, 2024Updated 2 years ago
- ☆13Mar 19, 2021Updated 5 years ago
- ☆11Jul 15, 2024Updated 2 years ago
- Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta☆13Nov 11, 2024Updated last year
- ACL24☆11Jun 7, 2024Updated 2 years ago
- Minimal (truly) muP implementation, consistent with TP4 and TP5 papers notation☆14Jan 2, 2026Updated 9 months ago
- Example code for the NNGeometry PyTorch library☆11Sep 10, 2026Updated last month
- ConvexPolytopePosioning☆37Jan 10, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Boilerplate code for developing plugins for the TLSNotary browser extension using Extism☆11Aug 27, 2025Updated last year
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆15Feb 8, 2023Updated 3 years ago
- workspace comprising demo packages for our roscon2018 talk☆10Dec 21, 2019Updated 6 years ago
- Take daily meteorological data files in csv format (combine them w/ some data processing) and write data to little_r format for WRF OBSGR…☆12Feb 10, 2020Updated 6 years ago
- ☆11Apr 14, 2022Updated 4 years ago
- Collections of functions for plotting WRF data☆12Apr 25, 2023Updated 3 years ago
- ZK Theorem Proving☆10Aug 11, 2024Updated 2 years ago
- The Conceptual Coverage Across Languages Benchmark for Text-to-Image Models☆12Oct 28, 2024Updated last year
- MeteoSwiss version of The Python-ARM Radar Toolkit. A data model driven interactive toolkit for working with weather radar data.☆15Sep 10, 2026Updated last month
- 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.
- Implementation for the paper "Fictitious Synthetic Data Can Improve LLM Factuality via Prerequisite Learning"☆11Jan 10, 2025Updated last year
- Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve☆20Aug 31, 2021Updated 5 years ago
- A climate change scenario-building analysis framework.☆19Oct 8, 2026Updated last week
- A Confidential Computing-Aware Certificate Authority☆13Jun 19, 2026Updated 3 months ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 4 years ago
- An implementation of the linear least squares derivative method for calculating azimuthal shear and an ideal vortex wind field creator.☆15Apr 16, 2023Updated 3 years ago
- ☆11Aug 9, 2022Updated 4 years ago