sar-mo / CS2051-HonorsDiscreteMath
A collection of resources for CS 2051, an undergraduate Honors Discrete Mathematics course at Georgia Tech.
☆10Updated last year
Alternatives and similar repositories for CS2051-HonorsDiscreteMath:
Users that are interested in CS2051-HonorsDiscreteMath are comparing it to the libraries listed below
- Small scale distributed training of sequential deep learning models, built on Numpy and MPI.☆123Updated last year
- Just large language models. Hackable, with as little abstraction as possible. Done for my own purposes, feel free to rip.☆44Updated last year
- ☆418Updated 4 months ago
- Resources for skilling up in AI alignment research engineering. Covers basics of deep learning, mechanistic interpretability, and RL.☆207Updated last year
- Dot files for Evan Chen (Arch Linux on i3)☆114Updated this week
- Benchmark for undergraduate-level formal mathematics☆101Updated 4 months ago
- Olympiad problem database☆48Updated this week
- Tutorial on neural theorem proving☆166Updated last year
- Extract full next-token probabilities via language model APIs☆231Updated last year
- Stream of my favorite papers and links☆40Updated 6 months ago
- Retrieval-Augmented Theorem Provers for Lean☆256Updated last month
- Puzzles for exploring transformers☆333Updated last year
- Helpers and such for working with Lambda Cloud☆52Updated last year
- Harmonic Datasets☆36Updated 7 months ago
- Simple Transformer in Jax☆136Updated 8 months ago
- Resources from the EleutherAI Math Reading Group☆52Updated this week
- A package for defining deep learning models using categorical algebraic expressions.☆59Updated 7 months ago
- ☆180Updated 2 years ago
- ☆122Updated 2 weeks ago
- Solve puzzles to improve your tinygrad skills!☆114Updated 5 months ago
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆169Updated 3 weeks ago
- Project 2 (Building Large Language Models) for Stanford CS324: Understanding and Developing Large Language Models (Winter 2022)☆101Updated last year
- Our first-year mathematics graduate school notes☆9Updated 3 years ago
- Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)☆186Updated 9 months ago
- ☆165Updated last year
- A hard gym for programming☆148Updated 7 months ago
- Docker image NVIDIA GH200 machines - optimized for vllm serving and hf trainer finetuning☆36Updated last week
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆59Updated last month
- What would you do with 1000 H100s...☆1,009Updated last year
- Sparsify transformers with SAEs and transcoders☆476Updated this week