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:
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆320Updated last year
- ☆545Updated last year
- ☆191Updated 2 years ago
- ☆377Updated 3 years ago
- Formal to Formal Mathematics Benchmark☆393Updated 2 years ago
- Predicting the Future of AI with AI: High-quality link prediction in an exponentially growing knowledge network☆79Updated last year
- Automatic gradient descent☆210Updated 2 years ago
- Tutorial on neural theorem proving☆177Updated last year
- ☆164Updated last year
- ChatGPT plugin for theorem proving in Lean☆123Updated last year
- Neural Networks and the Chomsky Hierarchy☆209Updated last year
- Learning Universal Predictors☆79Updated last year
- An interactive exploration of Transformer programming.☆269Updated last year
- Tools for working with the Abstraction & Reasoning Corpus☆205Updated last month
- Code for Parsel 🐍 - generate complex programs with language models☆432Updated 2 years ago
- LLMs + Lean, on your laptop or in the cloud☆177Updated 2 months ago
- ☆255Updated 3 months ago
- Retrieval-Augmented Theorem Provers for Lean☆295Updated 7 months ago
- A crude RLHF layer on top of nanoGPT with Gumbel-Softmax trick☆293Updated last year
- Materials for ConceptARC paper☆102Updated 10 months ago
- Benchmark for undergraduate-level formal mathematics☆108Updated 11 months ago
- Meta-Learning for Compositionality (MLC) for modeling human behavior☆143Updated last year
- ☆45Updated last year
- Neural theorem proving tutorial, version II☆39Updated last year
- Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge☆160Updated 2 months ago
- Emergent world representations: Exploring a sequence model trained on a synthetic task☆191Updated 2 years ago
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆91Updated 8 months ago
- Project 2 (Building Large Language Models) for Stanford CS324: Understanding and Developing Large Language Models (Winter 2022)☆105Updated 2 years ago
- Tool for data extraction and interacting with Lean programmatically.☆705Updated last week
- Brain-Inspired Modular Training (BIMT), a method for making neural networks more modular and interpretable.☆173Updated 2 years ago