lupantech / dl4mathLinks
Resources of deep learning for mathematical reasoning (DL4MATH).
☆363Updated last year
Alternatives and similar repositories for dl4math
Users that are interested in dl4math are comparing it to the libraries listed below
Sorting:
- AI for Mathematics (AI4Math) paper list☆174Updated 11 months ago
- This repository contains a collection of papers and resources on Reasoning in Large Language Models.☆564Updated last year
- Paper List for In-context Learning 🌷☆860Updated 10 months ago
- Codes and Data for Scaling Relationship on Learning Mathematical Reasoning with Large Language Models☆267Updated 11 months ago
- Prod Env☆428Updated last year
- The MATH Dataset (NeurIPS 2021)☆1,183Updated last year
- ☆340Updated 2 months ago
- Data and Code for Program of Thoughts [TMLR 2023]☆285Updated last year
- Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"☆159Updated 5 months ago
- Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…☆136Updated last year
- Pytorch implementation of DoReMi, a method for optimizing the data mixture weights in language modeling datasets☆341Updated last year
- ☆162Updated last year
- Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" [ICLR 2024]☆377Updated last year
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆251Updated last year
- Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data☆41Updated last year
- This is a collection of research papers for Self-Correcting Large Language Models with Automated Feedback.☆545Updated 10 months ago
- [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…☆166Updated 2 months ago
- paper list on reasoning in NLP☆191Updated 4 months ago
- Official implementation of TMLR paper "Cumulative Reasoning With Large Language Models" (https://arxiv.org/abs/2308.04371)☆298Updated 3 weeks ago
- Reading list of Instruction-tuning. A trend starts from Natrural-Instruction (ACL 2022), FLAN (ICLR 2022) and T0 (ICLR 2022).☆769Updated 2 years ago
- [MathCoder, MathCoder-VL] Family of LLMs/LMMs for mathematical reasoning.☆308Updated last week
- Code for STaR: Bootstrapping Reasoning With Reasoning (NeurIPS 2022)☆209Updated 2 years ago
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries☆67Updated last year
- NAACL 2021: Are NLP Models really able to Solve Simple Math Word Problems?☆130Updated 3 years ago
- An Extensible Continual Learning Framework Focused on Language Models (LMs)☆285Updated last year
- Papers and Datasets on Instruction Tuning and Following. ✨✨✨☆499Updated last year
- This is the repository that contains the source code for the Self-Evaluation Guided MCTS for online DPO.☆321Updated last year
- A collection of phenomenons observed during the scaling of big foundation models, which may be developed into consensus, principles, or l…☆283Updated 2 years ago
- Challenging BIG-Bench Tasks and Whether Chain-of-Thought Can Solve Them☆509Updated last year
- [ACL 2024] A Survey of Chain of Thought Reasoning: Advances, Frontiers and Future☆461Updated 7 months ago