tigerneil

awesome-deep-rl

For deep RL and the future of AI.

NNDL-PyTorch

PyTorch code for Neural Networks and Deep Learning written by Michael Nielsen

reinforcementlearning.today

Made for a reading group at the Center for Safe AGI.

aleominer

alphatensor

USTP

Use Superintelligent Tabot Please!

agi-foundation

Building the foundation for AGI

aiverify

AI Verify

Alpaca-Llama2-Multinode-on-SageMaker

awesome-aleo

🏎️ A curated list of Aleo & Leo code and resources 🏎️

awesome-double-categories

A list of works and resources about double category theory, with a particular focus on applications.

chatgpt-prompt-evaluator

This shows the results from using a second, filter LLM that analyses prompts before sending them to GPT-Chat

CoH

coq-library-undecidability

A library of mechanised undecidability proofs in the Coq proof assistant.

debate

Formalizing stochastic doubly-efficient debate

fiat-crypto

Cryptographic Primitive Code Generation by Fiat

JAXSeq

Train very large language models in Jax.

leo-neural-networks

Neural network implementation using fixed-point numbers in the Leo language for zk-SNARKs, and Pyhon-based Leo neural network calculator

llm.c

LLM training in simple, raw C/CUDA

lw2-viewer

An alternative frontend for LessWrong 2.0

mindscript

A programming language for formal/informal computation.

nbdev_projec

prm800k

800,000 step-level correctness labels on LLM solutions to MATH problems

RL4LMs

A modular RL library to fine-tune language models to human preferences

snarkVM

A Virtual Machine for Zero-Knowledge Executions

soft-moe

PyTorch implementation of "From Sparse to Soft Mixtures of Experts"

superalignment.center

test-chatgpt-plugin

useful-notebooks

DLAI 2017 Team 5 - Playing StarCraft II with Reinforcement Learning

ZK-SBT

Library to issue zero knowledge soul bound tokens (ZK SBTs)