MarkLLM: An Open-Source Toolkit for LLM Watermarking.（EMNLP 2024 System Demonstration)

VDAF to support aggregating real number vectors with L2-norm bound

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

HotCRP conference review software

Semi-supervised learning and inference for sparsely labelled graphs

Code for hands-on experience with reconstruction attacks in a simple setting

Free Python Games

Benchmarking for factorized processing

Code for the paper "Randomly pivoted Cholesky: Practical approximation of a kernel matrix with few entry evaluations"

The code is for the paper 'Simulation-based, Finite-sample Inference for Privatized Data'.

Implementation of Hinton's forward-forward (FF) algorithm - an alternative to back-propagation

A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs

Python software for selective inference

Course notes for AddisCoder. An introduction to programming and algorithms, in Python.

A Python-embedded modeling language for convex optimization problems.

Python implementation of Sum-of-Squares optimization built on picos

website, lectures, and other material for Columbia University course "data: past, present, and future"

Wrap around any model to output differentially private prediction sets with finite sample validity on any dataset.

Parametric Bootstrap Differentially Private Confidence Intervals (AISTATS 2022)

GradAttack is a Python library for easy evaluation of privacy risks in public gradients in Federated Learning, as well as corresponding mitigation strategies.

A fast algorithm to optimally compose privacy guarantees of differentially private (DP) mechanisms to arbitrary accuracy.

Code for computing tight guarantees for differential privacy

The core library of differential privacy algorithms powering the OpenDP Project.