Pinned Repositories
AGI-GAME
AGI GAME
awesome-agi
awesome-deep-rl
For deep RL and the future of AI.
dlbook-zh-cn
Ian Goodfellow, Yoshua Bengio and Aaron Courville's deep learning book Chinese translation
GraphGym
Platform for designing and evaluating Graph Neural Networks (GNN)
neural-networks-and-deep-learning-zh-cn
NNDL-PyTorch
PyTorch code for Neural Networks and Deep Learning written by Michael Nielsen
ray-zh-doc
reinforcementlearning.today
Made for a reading group at the Center for Safe AGI.
USTP
Use Superintelligent Tabot Please!
tigerneil's Repositories
tigerneil/awesome-deep-rl
For deep RL and the future of AI.
tigerneil/NNDL-PyTorch
PyTorch code for Neural Networks and Deep Learning written by Michael Nielsen
tigerneil/reinforcementlearning.today
Made for a reading group at the Center for Safe AGI.
tigerneil/aleominer
tigerneil/alphatensor
tigerneil/USTP
Use Superintelligent Tabot Please!
tigerneil/agi-foundation
Building the foundation for AGI
tigerneil/aiverify
AI Verify
tigerneil/Alpaca-Llama2-Multinode-on-SageMaker
tigerneil/awesome-aleo
🏎️ A curated list of Aleo & Leo code and resources 🏎️
tigerneil/awesome-double-categories
A list of works and resources about double category theory, with a particular focus on applications.
tigerneil/chatgpt-prompt-evaluator
This shows the results from using a second, filter LLM that analyses prompts before sending them to GPT-Chat
tigerneil/CoH
tigerneil/coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
tigerneil/debate
Formalizing stochastic doubly-efficient debate
tigerneil/fiat-crypto
Cryptographic Primitive Code Generation by Fiat
tigerneil/JAXSeq
Train very large language models in Jax.
tigerneil/leo-neural-networks
Neural network implementation using fixed-point numbers in the Leo language for zk-SNARKs, and Pyhon-based Leo neural network calculator
tigerneil/llm.c
LLM training in simple, raw C/CUDA
tigerneil/lw2-viewer
An alternative frontend for LessWrong 2.0
tigerneil/mindscript
A programming language for formal/informal computation.
tigerneil/nbdev_projec
tigerneil/prm800k
800,000 step-level correctness labels on LLM solutions to MATH problems
tigerneil/RL4LMs
A modular RL library to fine-tune language models to human preferences
tigerneil/snarkVM
A Virtual Machine for Zero-Knowledge Executions
tigerneil/soft-moe
PyTorch implementation of "From Sparse to Soft Mixtures of Experts"
tigerneil/superalignment.center
tigerneil/test-chatgpt-plugin
tigerneil/useful-notebooks
DLAI 2017 Team 5 - Playing StarCraft II with Reinforcement Learning
tigerneil/ZK-SBT
Library to issue zero knowledge soul bound tokens (ZK SBTs)