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

This is the code for CVPR 2021 oral paper: Jigsaw Clustering for Unsupervised Visual Representation Learning

JigsawClustering Jigsaw Clustering for Unsupervised Visual Representation Learning Pengguang Chen, Shu Liu, Jiaya Jia Introduction This project provid

73 Sep 18, 2022

Continuous Query Decomposition for Complex Query Answering in Incomplete Knowledge Graphs

Continuous Query Decomposition This repository contains the official implementation for our ICLR 2021 (Oral) paper, Complex Query Answering with Neura

71 Dec 29, 2022

Deep Reinforcement Learning based autonomous navigation for quadcopters using PPO algorithm.

PPO-based Autonomous Navigation for Quadcopters This repository contains an implementation of Proximal Policy Optimization (PPO) for autonomous naviga

16 Nov 11, 2022

African language Speech Recognition - Speech-to-Text

Swahili-Speech-To-Text Table of Contents Swahili-Speech-To-Text Overview Scenario Approach Project Structure data: models: notebooks: scripts tests: l

2 Jan 05, 2023

A model to classify a piece of news as REAL or FAKE

Fake_news_classification A model to classify a piece of news as REAL or FAKE. This python project of detecting fake news deals with fake and real news

1 Jan 29, 2022

sssegmentation is a general framework for our research on strongly supervised semantic segmentation.

445 Jan 02, 2023

Automatically replace ONNX's RandomNormal node with Constant node.

onnx-remove-random-normal This is a script to replace RandomNormal node with Constant node. Example Imagine that we have something ONNX model like the

1 Dec 11, 2021

Algo-burn - Script to configure an Algorand address as a "burn" address for one or more ASA tokens

Algorand Burn Address This is a simple script to illustrate how a "burn address"

5 May 10, 2022

Style-based Neural Drum Synthesis with GAN inversion

Style-based Drum Synthesis with GAN Inversion Demo TensorFlow implementation of a style-based version of the adversarial drum synth (ADS) from the pap

29 Nov 19, 2022

Code for paper PairRE: Knowledge Graph Embeddings via Paired Relation Vectors.

PairRE Code for paper PairRE: Knowledge Graph Embeddings via Paired Relation Vectors. This implementation of PairRE for Open Graph Benchmak datasets (

65 Dec 19, 2022

The Medical Detection Toolkit contains 2D + 3D implementations of prevalent object detectors such as Mask R-CNN, Retina Net, Retina U-Net, as well as a training and inference framework focused on dealing with medical images.

The Medical Detection Toolkit contains 2D + 3D implementations of prevalent object detectors such as Mask R-CNN, Retina Net, Retina U-Net, as well as a training and inference framework focused on dea

1.2k Jan 04, 2023

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

Related tags

Overview

What is this?

Owner

Thor

This is the code for CVPR 2021 oral paper: Jigsaw Clustering for Unsupervised Visual Representation Learning

Continuous Query Decomposition for Complex Query Answering in Incomplete Knowledge Graphs

Deep Reinforcement Learning based autonomous navigation for quadcopters using PPO algorithm.

African language Speech Recognition - Speech-to-Text

A model to classify a piece of news as REAL or FAKE

sssegmentation is a general framework for our research on strongly supervised semantic segmentation.

Automatically replace ONNX's RandomNormal node with Constant node.

Algo-burn - Script to configure an Algorand address as a "burn" address for one or more ASA tokens

Style-based Neural Drum Synthesis with GAN inversion

Code for paper PairRE: Knowledge Graph Embeddings via Paired Relation Vectors.

The Medical Detection Toolkit contains 2D + 3D implementations of prevalent object detectors such as Mask R-CNN, Retina Net, Retina U-Net, as well as a training and inference framework focused on dealing with medical images.

Modular Gaussian Processes

AMTML-KD: Adaptive Multi-teacher Multi-level Knowledge Distillation

Official code of the paper "Expanding Low-Density Latent Regions for Open-Set Object Detection" (CVPR 2022)

Deep Dual Consecutive Network for Human Pose Estimation (CVPR2021)

Yas CRNN model training - Yet Another Genshin Impact Scanner

Keras-tensorflow implementation of Fully Convolutional Networks for Semantic Segmentation（Unfinished）

D2LV: A Data-Driven and Local-Verification Approach for Image Copy Detection

MagFace: A Universal Representation for Face Recognition and Quality Assessment

A Python wrapper for Google Tesseract