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 3 years ago
Alternatives and similar repositories for mathQ
Users that are interested in mathQ are comparing it to the libraries listed below
Sorting:
- ☆381Updated 4 years ago
- ☆551Updated 2 years ago
- Formal to Formal Mathematics Benchmark☆413Updated 2 years ago
- Predicting the Future of AI with AI: High-quality link prediction in an exponentially growing knowledge network☆81Updated 2 years ago
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆323Updated last year
- ☆200Updated 3 years ago
- Neural Networks and the Chomsky Hierarchy☆212Updated last year
- ☆164Updated last year
- Tutorial on neural theorem proving☆177Updated 2 years ago
- ChatGPT plugin for theorem proving in Lean☆124Updated last year
- Tools for working with the Abstraction & Reasoning Corpus☆215Updated 5 months ago
- Learning Universal Predictors☆81Updated last year
- Code for Parsel 🐍 - generate complex programs with language models☆439Updated 2 years ago
- A crude RLHF layer on top of nanoGPT with Gumbel-Softmax trick☆294Updated 2 years ago
- LLMs + Lean, on your laptop or in the cloud☆199Updated 3 months ago
- Benchmark for undergraduate-level formal mathematics☆116Updated last year
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆101Updated 4 months ago
- LLM verified with Monte Carlo Tree Search☆284Updated 10 months ago
- Emergent world representations: Exploring a sequence model trained on a synthetic task☆200Updated 2 years ago
- Automatic gradient descent☆217Updated 2 years ago
- Forecasting Future World Events with Neural Networks (NeurIPS 2022)☆184Updated 2 years ago
- Brain-Inspired Modular Training (BIMT), a method for making neural networks more modular and interpretable.☆175Updated 2 years ago
- Neural theorem proving tutorial, version II☆40Updated last year
- Tool for data extraction and interacting with Lean programmatically.☆758Updated 2 weeks ago
- Materials for ConceptARC paper☆112Updated last year
- Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge☆163Updated 6 months ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆302Updated last week
- The history files when recording human interaction while solving ARC tasks☆117Updated last week
- ☆45Updated last year
- Retrieval-Augmented Theorem Provers for Lean☆316Updated last year