idrori / mathQLinks
Data and code for the paper "A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level" by Drori et al., 2022.
☆184Updated 2 years ago
Alternatives and similar repositories for mathQ
Users that are interested in mathQ are comparing it to the libraries listed below
Sorting:
- ☆539Updated last year
- Tools for working with the Abstraction & Reasoning Corpus☆194Updated 11 months ago
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆316Updated 10 months ago
- Tutorial on neural theorem proving☆174Updated last year
- Neural Networks and the Chomsky Hierarchy☆207Updated last year
- ☆256Updated last month
- Formal to Formal Mathematics Benchmark☆379Updated last year
- Project 2 (Building Large Language Models) for Stanford CS324: Understanding and Developing Large Language Models (Winter 2022)☆105Updated 2 years ago
- ☆190Updated 2 years ago
- ☆163Updated last year
- Emergent world representations: Exploring a sequence model trained on a synthetic task☆183Updated 2 years ago
- Materials for ConceptARC paper☆96Updated 8 months ago
- A crude RLHF layer on top of nanoGPT with Gumbel-Softmax trick☆290Updated last year
- Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge☆158Updated last week
- Reverse Engineering the Abstraction and Reasoning Corpus☆289Updated 4 months ago
- My writings about ARC (Abstraction and Reasoning Corpus)☆79Updated last week
- An interactive exploration of Transformer programming.☆265Updated last year
- Language Modeling with the H3 State Space Model☆520Updated last year
- LLM verified with Monte Carlo Tree Search☆276Updated 3 months ago
- ☆166Updated 2 years ago
- ☆131Updated 8 months ago
- Benchmark for undergraduate-level formal mathematics☆108Updated 9 months ago
- ☆374Updated 3 years ago
- Learning Universal Predictors☆77Updated 11 months ago
- Resources from the EleutherAI Math Reading Group☆53Updated 4 months ago
- Forecasting Future World Events with Neural Networks (NeurIPS 2022)☆180Updated 2 years ago
- Transformer Grammars: Augmenting Transformer Language Models with Syntactic Inductive Biases at Scale, TACL (2022)☆127Updated 3 weeks ago
- Our solution for the arc challenge 2024☆162Updated last month
- Predicting the Future of AI with AI: High-quality link prediction in an exponentially growing knowledge network☆78Updated last year
- Used for adaptive human in the loop evaluation of language and embedding models.☆310Updated 2 years ago