Manage your own AI research lab. Act as the advisor to a fleet of virtual PhD students. Assign tasks, review reported results, and iterate on their independent research projects directly through a …

C++ library for IOP-based zkSNARKs

[EMNLP 2024 Demo] MarkLLM: An Open-Source Toolkit for LLM Watermarking

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.