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.
☆185Updated 2 years ago
Alternatives and similar repositories for mathQ:
Users that are interested in mathQ are comparing it to the libraries listed below
- Formal to Formal Mathematics Benchmark☆341Updated last year
- Neural Networks and the Chomsky Hierarchy☆205Updated 11 months ago
- ☆182Updated 2 years ago
- Family of LLMs for mathematical reasoning.☆256Updated 4 months ago
- Project 2 (Building Large Language Models) for Stanford CS324: Understanding and Developing Large Language Models (Winter 2022)☆104Updated 2 years ago
- Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"☆142Updated last week
- Benchmark for undergraduate-level formal mathematics☆103Updated 5 months ago
- APPS: Automated Programming Progress Standard (NeurIPS 2021)☆453Updated 9 months ago
- A crude RLHF layer on top of nanoGPT with Gumbel-Softmax trick☆289Updated last year
- ☆86Updated 3 years ago
- NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)☆128Updated 2 years ago
- ☆528Updated last year
- Resources of deep learning for mathematical reasoning (DL4MATH).☆353Updated last year
- ☆255Updated 2 years ago
- ☆161Updated last year
- Tutorial on neural theorem proving☆168Updated last year
- Official code from the paper "Offline RL for Natural Language Generation with Implicit Language Q Learning"☆205Updated last year
- Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge☆156Updated 4 years ago
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆79Updated 3 months ago
- a writeup on some experiments on a sequence model for chess games☆30Updated 3 years ago
- LLMs + Lean, on your laptop or in the cloud☆140Updated 5 months ago
- ☆67Updated 3 years ago
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆303Updated 6 months ago
- The MATH Dataset (NeurIPS 2021)☆1,086Updated 8 months ago
- Tools for working with the Abstraction & Reasoning Corpus☆184Updated 7 months ago
- ☆48Updated last year
- Implementation of the specific Transformer architecture from PaLM - Scaling Language Modeling with Pathways☆820Updated 2 years ago
- DeepSpeed is a deep learning optimization library that makes distributed training easy, efficient, and effective.☆164Updated this week
- A hard gym for programming☆151Updated 8 months ago
- ChatGPT plugin for theorem proving in Lean☆117Updated last year