idrori / mathQ
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:
- Formal to Formal Mathematics Benchmark☆355Updated last year
- An interactive exploration of Transformer programming.☆264Updated last year
- Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge☆157Updated 4 years ago
- ☆533Updated last year
- ☆185Updated 2 years ago
- Neural Networks and the Chomsky Hierarchy☆206Updated last year
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆312Updated 8 months ago
- Tutorial on neural theorem proving☆174Updated last year
- Reverse Engineering the Abstraction and Reasoning Corpus☆264Updated 2 months ago
- Benchmark for undergraduate-level formal mathematics☆107Updated 7 months ago
- Tools for working with the Abstraction & Reasoning Corpus☆187Updated 9 months ago
- Predicting the Future of AI with AI: High-quality link prediction in an exponentially growing knowledge network☆77Updated last year
- Brain-Inspired Modular Training (BIMT), a method for making neural networks more modular and interpretable.☆170Updated last year
- ☆256Updated 2 years ago
- ☆162Updated last year
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated last year
- Draw more samples☆189Updated 10 months ago
- ☆130Updated 6 months ago
- LLMs + Lean, on your laptop or in the cloud☆149Updated last month
- Resources from the EleutherAI Math Reading Group☆53Updated 2 months ago
- Materials for ConceptARC paper☆93Updated 6 months ago
- The history files when recording human interaction while solving ARC tasks☆109Updated this week
- ChatGPT plugin for theorem proving in Lean☆120Updated last year
- Retrieval-Augmented Theorem Provers for Lean☆272Updated 3 months ago
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆83Updated 4 months ago
- ☆65Updated 3 years ago
- Material for the Systems and Cognitive NeuroScience online course☆123Updated 2 months ago
- The Abstraction and Reasoning Corpus made into a web game☆89Updated 8 months ago
- Code for Parsel 🐍 - generate complex programs with language models☆430Updated last year
- ☆166Updated last year