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:
- ☆543Updated last year
- ☆377Updated 3 years ago
- Tools for working with the Abstraction & Reasoning Corpus☆201Updated last week
- Formal to Formal Mathematics Benchmark☆388Updated 2 years ago
- Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge☆159Updated last month
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆319Updated 11 months ago
- Neural Networks and the Chomsky Hierarchy☆208Updated last year
- An interactive exploration of Transformer programming.☆269Updated last year
- ☆255Updated 2 months ago
- ☆191Updated 2 years ago
- Materials for ConceptARC paper☆99Updated 9 months ago
- ☆164Updated last year
- Automatic gradient descent☆210Updated 2 years ago
- Domain Specific Language for the Abstraction and Reasoning Corpus☆290Updated 10 months ago
- Predicting the Future of AI with AI: High-quality link prediction in an exponentially growing knowledge network☆79Updated last year
- Tutorial on neural theorem proving☆174Updated last year
- Reverse Engineering the Abstraction and Reasoning Corpus☆297Updated 6 months ago
- DeepSpeed is a deep learning optimization library that makes distributed training easy, efficient, and effective.☆168Updated last month
- Implementation of the specific Transformer architecture from PaLM - Scaling Language Modeling with Pathways - in Jax (Equinox framework)☆187Updated 3 years ago
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆61Updated last year
- Project 2 (Building Large Language Models) for Stanford CS324: Understanding and Developing Large Language Models (Winter 2022)☆105Updated 2 years ago
- Language-annotated Abstraction and Reasoning Corpus☆91Updated 2 years ago
- Language Modeling with the H3 State Space Model☆519Updated last year
- Resources from the EleutherAI Math Reading Group☆54Updated 6 months ago
- A crude RLHF layer on top of nanoGPT with Gumbel-Softmax trick☆290Updated last year
- Forecasting Future World Events with Neural Networks (NeurIPS 2022)☆181Updated 2 years ago
- Implementation of Memorizing Transformers (ICLR 2022), attention net augmented with indexing and retrieval of memories using approximate …☆635Updated 2 years ago
- Used for adaptive human in the loop evaluation of language and embedding models.☆311Updated 2 years ago
- Evolution Through Large Models☆731Updated last year
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆92Updated 2 years ago