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
- JEEBench, EMNLP 2023☆37Updated last year
- Harmonic Datasets☆38Updated 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…☆56Updated 3 months ago
- seqax = sequence modeling + JAX☆154Updated 3 weeks ago
- Competitive GPU kernel optimization platform.☆57Updated this week
- Just large language models. Hackable, with as little abstraction as possible. Done for my own purposes, feel free to rip.☆44Updated last year
- Extract full next-token probabilities via language model APIs☆241Updated last year
- Helpers and such for working with Lambda Cloud☆51Updated last year
- papers.day☆93Updated last year
- A blog where I write about research papers and blog posts I read.☆12Updated 5 months ago
- Small scale distributed training of sequential deep learning models, built on Numpy and MPI.☆130Updated last year
- ☆33Updated 9 months ago
- Collection of autoregressive model implementation☆85Updated this week
- Stream of my favorite papers and links☆41Updated last month
- a highly efficient compression algorithm for the n1 implant (neuralink's compression challenge)☆46Updated 10 months ago
- 🌲 A 3D, interactive semantic graph of hacker interests at TreeHacks, scraped from Slack intro messages☆70Updated last year
- Resources from the EleutherAI Math Reading Group☆53Updated 2 months ago
- LLM verified with Monte Carlo Tree Search☆275Updated 3 weeks ago
- Gymnasium framework for training language model agents on constructive tasks☆158Updated last week
- Benchmark for undergraduate-level formal mathematics☆105Updated 6 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆60Updated 9 months ago
- Puzzles for exploring transformers☆343Updated last year
- The simplest, fastest repository for training/finetuning medium-sized GPTs.☆105Updated 5 months ago
- Tutorial on neural theorem proving☆172Updated last year
- ☆130Updated 5 months ago
- Draw more samples☆189Updated 10 months ago
- gzip Predicts Data-dependent Scaling Laws☆34Updated 11 months ago
- Solve puzzles. Learn CUDA.☆63Updated last year
- LLMs + Lean, on your laptop or in the cloud☆144Updated 3 weeks ago
- A nano protein structure prediction model based on DeepMind's AlphaFold paper☆24Updated 10 months ago