-
aiverify Public
Forked from aiverify-foundation/aiverifyAI Verify
Python Apache License 2.0 UpdatedAug 16, 2024 -
mindscript Public
Forked from DAIOS-AI/mindscriptA programming language for formal/informal computation.
Python MIT License UpdatedJun 10, 2024 -
llm.c Public
Forked from karpathy/llm.cLLM training in simple, raw C/CUDA
Cuda MIT License UpdatedMay 28, 2024 -
NNDL-PyTorch Public
PyTorch code for Neural Networks and Deep Learning written by Michael Nielsen
-
awesome-deep-rl Public
For deep RL and the future of AI.
-
-
debate Public
Forked from google-deepmind/debateFormalizing stochastic doubly-efficient debate
Lean Apache License 2.0 UpdatedNov 30, 2023 -
-
soft-moe Public
Forked from bwconrad/soft-moePyTorch implementation of "From Sparse to Soft Mixtures of Experts"
Python Apache License 2.0 UpdatedAug 22, 2023 -
Alpaca-Llama2-Multinode-on-SageMaker Public
Forked from haozhx23/Alpaca-Llama2-Multinode-on-SageMakerJupyter Notebook UpdatedJul 24, 2023 -
prm800k Public
Forked from openai/prm800k800,000 step-level correctness labels on LLM solutions to MATH problems
Python MIT License UpdatedJun 1, 2023 -
-
-
-
leo-neural-networks Public
Forked from zeroknowledgetutorials/leo-neural-networksNeural network implementation using fixed-point numbers in the Leo language for zk-SNARKs, and Pyhon-based Leo neural network calculator
Python UpdatedMar 1, 2023 -
coq-library-undecidability Public
Forked from uds-psl/coq-library-undecidabilityA library of mechanised undecidability proofs in the Coq proof assistant.
Coq Other UpdatedFeb 28, 2023 -
chatgpt-prompt-evaluator Public
Forked from alignedai/chatgpt-prompt-evaluatorThis shows the results from using a second, filter LLM that analyses prompts before sending them to GPT-Chat
MIT License UpdatedDec 6, 2022 -
-
reinforcementlearning.today Public
Made for a reading group at the Center for Safe AGI.
-
awesome-double-categories Public
Forked from mattecapu/awesome-double-categoriesA list of works and resources about double category theory, with a particular focus on applications.
UpdatedOct 16, 2022 -
RL4LMs Public
Forked from allenai/RL4LMsA modular RL library to fine-tune language models to human preferences
Python Apache License 2.0 UpdatedOct 11, 2022 -
JAXSeq Public
Forked from Sea-Snell/JAXSeqTrain very large language models in Jax.
Python MIT License UpdatedOct 9, 2022 -
alphatensor Public
Forked from google-deepmind/alphatensor -
awesome-aleo Public
Forked from howardwu/awesome-aleo🏎️ A curated list of Aleo & Leo code and resources 🏎️
UpdatedSep 21, 2022 -
snarkVM Public
Forked from AleoNet/snarkVMA Virtual Machine for Zero-Knowledge Executions
Rust GNU General Public License v3.0 UpdatedSep 6, 2022 -
ZK-SBT Public
Forked from enricobottazzi/ZK-SBTLibrary to issue zero knowledge soul bound tokens (ZK SBTs)
Solidity GNU Affero General Public License v3.0 UpdatedAug 30, 2022 -
fiat-crypto Public
Forked from mit-plv/fiat-cryptoCryptographic Primitive Code Generation by Fiat
Coq Other UpdatedAug 19, 2022 -
lw2-viewer Public
Forked from kronusaturn/lw2-viewerAn alternative frontend for LessWrong 2.0
Common Lisp MIT License UpdatedAug 10, 2022 -
useful-notebooks Public
Forked from telecombcn-dl/2017-dlai-team5DLAI 2017 Team 5 - Playing StarCraft II with Reinforcement Learning
Jupyter Notebook MIT License UpdatedAug 2, 2022 -
pml2-book Public
Forked from probml/pml2-bookProbabilistic Machine Learning: Advanced Topics
MIT License UpdatedJul 26, 2022