sar-mo / CS2051-HonorsDiscreteMathLinks
A collection of resources for CS 2051, an undergraduate Honors Discrete Mathematics course at Georgia Tech.
☆10Updated 2 years ago
Alternatives and similar repositories for CS2051-HonorsDiscreteMath
Users that are interested in CS2051-HonorsDiscreteMath are comparing it to the libraries listed below
Sorting:
- Simple Transformer in Jax☆139Updated last year
- Resources from the EleutherAI Math Reading Group☆54Updated 9 months ago
- FastAsk is a Python package that installs an easy to use command to your terminal to get a quick answer to a question, using either OpenA…☆53Updated 11 months ago
- python walks. achilles runs.☆64Updated 6 months ago
- Grounding LLM mathematical reasoning with proof assistants.☆64Updated 2 years ago
- Just large language models. Hackable, with as little abstraction as possible. Done for my own purposes, feel free to rip.☆44Updated 2 years ago
- A puzzle to learn about prompting☆135Updated 2 years ago
- Extract full next-token probabilities via language model APIs☆248Updated last year
- batched loras☆347Updated 2 years ago
- seqax = sequence modeling + JAX☆168Updated 4 months ago
- Small scale distributed training of sequential deep learning models, built on Numpy and MPI.☆151Updated 2 years ago
- papers.day☆91Updated last year
- LLM verified with Monte Carlo Tree Search☆283Updated 8 months ago
- Stream of my favorite papers and links☆44Updated this week
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆282Updated last year
- Minimalistic, extremely fast, and hackable researcher's toolbench for GPT models in 307 lines of code. Reaches <3.8 validation loss on wi…☆352Updated last year
- ☆285Updated last year
- Puzzles for exploring transformers☆378Updated 2 years ago
- Fast bare-bones BPE for modern tokenizer training☆171Updated 5 months ago
- A set of Python scripts that makes your experience on TPU better☆54Updated 2 months ago
- learn from your favorite tech companies☆165Updated 3 months ago
- Solve puzzles. Learn CUDA.☆64Updated last year
- A single notebook for fine-tuning GPT-3.5 turbo☆31Updated last year
- Helpers and such for working with Lambda Cloud☆51Updated 2 years ago
- Harmonic Datasets☆51Updated last year
- A command line tool to execute simple file conversions, image/video manipulations and folder changes.☆16Updated last year
- A comprehensive deep dive into the world of tokens☆227Updated last year
- LLM papers I'm reading, mostly on inference and model compression☆746Updated last year
- Legible, Scalable, Reproducible Foundation Models with Named Tensors and Jax☆685Updated this week
- Certified Reasoning with Language Models☆31Updated last year