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:
- ☆548Updated last year
- Predicting the Future of AI with AI: High-quality link prediction in an exponentially growing knowledge network☆79Updated 2 years ago
- ☆164Updated last year
- Neural Networks and the Chomsky Hierarchy☆211Updated last year
- Tutorial on neural theorem proving☆177Updated last year
- A crude RLHF layer on top of nanoGPT with Gumbel-Softmax trick☆293Updated 2 years ago
- Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge☆163Updated 4 months ago
- Formal to Formal Mathematics Benchmark☆404Updated 2 years ago
- ☆377Updated 4 years ago
- Brain-Inspired Modular Training (BIMT), a method for making neural networks more modular and interpretable.☆174Updated 2 years ago
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆323Updated last year
- ☆138Updated last year
- An interactive exploration of Transformer programming.☆270Updated 2 years ago
- ☆194Updated 2 years ago
- ☆259Updated 6 months ago
- Neural theorem proving tutorial, version II☆40Updated last year
- Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.☆59Updated last month
- Tools for working with the Abstraction & Reasoning Corpus☆212Updated 3 months ago
- Forecasting Future World Events with Neural Networks (NeurIPS 2022)☆182Updated 2 years ago
- Automatic gradient descent☆215Updated 2 years ago
- Project 2 (Building Large Language Models) for Stanford CS324: Understanding and Developing Large Language Models (Winter 2022)☆105Updated 2 years ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆43Updated 5 months ago
- LLM verified with Monte Carlo Tree Search☆283Updated 8 months ago
- The history files when recording human interaction while solving ARC tasks☆118Updated 3 weeks ago
- Implementation of the specific Transformer architecture from PaLM - Scaling Language Modeling with Pathways - in Jax (Equinox framework)☆189Updated 3 years ago
- Materials for ConceptARC paper☆108Updated last year
- ChatGPT plugin for theorem proving in Lean☆123Updated last year
- Resources from the EleutherAI Math Reading Group☆54Updated 9 months ago
- Code for Parsel 🐍 - generate complex programs with language models☆433Updated 2 years ago
- DeepSpeed is a deep learning optimization library that makes distributed training easy, efficient, and effective.☆171Updated 2 months ago