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:
- Formal to Formal Mathematics Benchmark☆394Updated 2 years ago
- ☆546Updated last year
- My writings about ARC (Abstraction and Reasoning Corpus)☆85Updated last week
- ☆375Updated 3 years ago
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆320Updated last year
- Tools for working with the Abstraction & Reasoning Corpus☆208Updated last month
- Neural Networks and the Chomsky Hierarchy☆210Updated last year
- Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge☆160Updated 3 months ago
- Predicting the Future of AI with AI: High-quality link prediction in an exponentially growing knowledge network☆79Updated last year
- ☆163Updated last year
- ☆193Updated 2 years ago
- ☆256Updated 4 months ago
- A crude RLHF layer on top of nanoGPT with Gumbel-Softmax trick☆293Updated last year
- Tutorial on neural theorem proving☆177Updated last year
- Minimal library to train LLMs on TPU in JAX with pjit().☆298Updated last year
- An interactive exploration of Transformer programming.☆269Updated last year
- Benchmark for undergraduate-level formal mathematics☆109Updated last year
- Brain-Inspired Modular Training (BIMT), a method for making neural networks more modular and interpretable.☆173Updated 2 years ago
- Reverse Engineering the Abstraction and Reasoning Corpus☆307Updated 7 months ago
- Materials for ConceptARC paper☆102Updated 11 months ago
- DeepSpeed is a deep learning optimization library that makes distributed training easy, efficient, and effective.☆169Updated 3 weeks ago
- ☆46Updated 2 years ago
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆61Updated last year
- ChatGPT plugin for theorem proving in Lean☆123Updated last year
- https://slds-lmu.github.io/seminar_multimodal_dl/☆171Updated 2 years ago
- Our solution for the arc challenge 2024☆180Updated 4 months ago
- The history files when recording human interaction while solving ARC tasks☆116Updated last week
- Language-annotated Abstraction and Reasoning Corpus☆93Updated 2 years ago
- Code for Parsel 🐍 - generate complex programs with language models☆432Updated 2 years ago
- Forecasting Future World Events with Neural Networks (NeurIPS 2022)☆182Updated 2 years ago