Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge

Last update: Jan 04, 2023

Related tags

Overview

What is this?

This is where I'll be collecting resources related to the Study Group on Dr. Justin Thaler's Proofs Arguments And Zero Knowledge Book. The notes posted here will be copied out of my personal Obsidian note client; certain features like image and latex embedding will not render on Github, though should still be readable. If you would like to read them with latex rendering, a hack solution might be to copy them to a HackMD document.

The group open to everyone, and runs out of the ZK hack discord server by myself and the nice folks at the Zero Knowledge Podcast.

Have a nice repo of your own? I'd love to link to it! Questions about this resource? DM me on Twitter.

Owner

Thor

zk wink

GitHub Repository

Code for Understanding Pooling in Graph Neural Networks

Select, Reduce, Connect This repository contains the code used for the experiments of: "Understanding Pooling in Graph Neural Networks" Setup Install

37 Dec 13, 2022

LightSeq is a high performance training and inference library for sequence processing and generation implemented in CUDA

LightSeq: A High Performance Library for Sequence Processing and Generation

2.5k Jan 06, 2023

Incorporating Transformer and LSTM to Kalman Filter with EM algorithm

Deep learning based state estimation: incorporating Transformer and LSTM to Kalman Filter with EM algorithm Overview Kalman Filter requires the true p

57 Dec 27, 2022

This repository is an official implementation of the paper MOTR: End-to-End Multiple-Object Tracking with TRansformer.

MOTR: End-to-End Multiple-Object Tracking with TRansformer This repository is an official implementation of the paper MOTR: End-to-End Multiple-Object

348 Jan 07, 2023

On Size-Oriented Long-Tailed Graph Classification of Graph Neural Networks

On Size-Oriented Long-Tailed Graph Classification of Graph Neural Networks We provide the code (in PyTorch) and datasets for our paper "On Size-Orient

4 Jun 18, 2022

SCAAML is a deep learning framwork dedicated to side-channel attacks run on top of TensorFlow 2.x.

SCAAML (Side Channel Attacks Assisted with Machine Learning) is a deep learning framwork dedicated to side-channel attacks. It is written in python and run on top of TensorFlow 2.x.

69 Dec 21, 2022

Builds a LoRa radio frequency fingerprint identification (RFFI) system based on deep learning techiniques

This project builds a LoRa radio frequency fingerprint identification (RFFI) system based on deep learning techiniques.

20 Dec 30, 2022

Run Keras models in the browser, with GPU support using WebGL

**This project is no longer active. Please check out TensorFlow.js.** The Keras.js demos still work but is no longer updated. Run Keras models in the

4.9k Dec 29, 2022

Colossal-AI: A Unified Deep Learning System for Large-Scale Parallel Training

ColossalAI An integrated large-scale model training system with efficient parallelization techniques. arXiv: Colossal-AI: A Unified Deep Learning Syst

7.9k Jan 08, 2023

🤗 Transformers: State-of-the-art Natural Language Processing for Pytorch, TensorFlow, and JAX.

English | 简体中文 | 繁體中文 State-of-the-art Natural Language Processing for Jax, PyTorch and TensorFlow 🤗 Transformers provides thousands of pretrained mo

77.2k Jan 02, 2023

This GitHub repository contains code used for plots in NeurIPS 2021 paper 'Stochastic Multi-Armed Bandits with Control Variates.'

About Repository This repository contains code used for plots in NeurIPS 2021 paper 'Stochastic Multi-Armed Bandits with Control Variates.' About Code

1 Nov 09, 2021

Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge

Related tags

Overview

What is this?

Owner

Thor

Code for Understanding Pooling in Graph Neural Networks

LightSeq is a high performance training and inference library for sequence processing and generation implemented in CUDA

Incorporating Transformer and LSTM to Kalman Filter with EM algorithm

This repository is an official implementation of the paper MOTR: End-to-End Multiple-Object Tracking with TRansformer.

On Size-Oriented Long-Tailed Graph Classification of Graph Neural Networks

SCAAML is a deep learning framwork dedicated to side-channel attacks run on top of TensorFlow 2.x.

Builds a LoRa radio frequency fingerprint identification (RFFI) system based on deep learning techiniques

Run Keras models in the browser, with GPU support using WebGL

Colossal-AI: A Unified Deep Learning System for Large-Scale Parallel Training

🤗 Transformers: State-of-the-art Natural Language Processing for Pytorch, TensorFlow, and JAX.

This GitHub repository contains code used for plots in NeurIPS 2021 paper 'Stochastic Multi-Armed Bandits with Control Variates.'

The Generic Manipulation Driver Package - Implements a ROS Interface over the robotics toolbox for Python

FCOSR: A Simple Anchor-free Rotated Detector for Aerial Object Detection

Fine-tuning StyleGAN2 for Cartoon Face Generation

Numerical differential equation solvers in JAX. Autodifferentiable and GPU-capable.

Road Crack Detection Using Deep Learning Methods

Mip-NeRF: A Multiscale Representation for Anti-Aliasing Neural Radiance Fields.

A Probabilistic End-To-End Task-Oriented Dialog Model with Latent Belief States towards Semi-Supervised Learning

OneShot Learning-based hotword detection.

GNEE - GAT Neural Event Embeddings