lupantech / dl4mathLinks
Resources of deep learning for mathematical reasoning (DL4MATH).
☆359Updated last year
Alternatives and similar repositories for dl4math
Users that are interested in dl4math are comparing it to the libraries listed below
Sorting:
- Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"☆155Updated 3 months ago
- This repository contains a collection of papers and resources on Reasoning in Large Language Models.☆564Updated last year
- AI for Mathematics (AI4Math) paper list☆169Updated 9 months ago
- Codes and Data for Scaling Relationship on Learning Mathematical Reasoning with Large Language Models☆266Updated 10 months ago
- ☆337Updated last month
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆231Updated last year
- Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…☆131Updated last year
- Prod Env☆423Updated last year
- The MATH Dataset (NeurIPS 2021)☆1,152Updated 11 months ago
- This is a collection of research papers for Self-Correcting Large Language Models with Automated Feedback.☆536Updated 8 months ago
- [MathCoder, MathCoder-VL] Family of LLMs/LMMs for mathematical reasoning.☆300Updated 2 months ago
- ☆160Updated last year
- NAACL 2021: Are NLP Models really able to Solve Simple Math Word Problems?☆130Updated 3 years ago
- Paper List for In-context Learning 🌷☆855Updated 9 months ago
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries☆65Updated last year
- Data and Code for Program of Thoughts [TMLR 2023]☆279Updated last year
- Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" [ICLR 2024]☆376Updated 10 months ago
- paper list on reasoning in NLP☆190Updated 3 months ago
- Papers and Datasets on Instruction Tuning and Following. ✨✨✨☆497Updated last year
- Code for STaR: Bootstrapping Reasoning With Reasoning (NeurIPS 2022)☆206Updated 2 years ago
- LLM hallucination paper list☆319Updated last year
- This is the repository that contains the source code for the Self-Evaluation Guided MCTS for online DPO.☆318Updated 11 months ago
- A Survey on Data Selection for Language Models☆241Updated 2 months ago
- Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data☆41Updated last year
- ☆456Updated 11 months ago
- The dataset and code for paper: TheoremQA: A Theorem-driven Question Answering dataset☆157Updated last year
- Pytorch implementation of DoReMi, a method for optimizing the data mixture weights in language modeling datasets☆337Updated last year
- Official implementation of paper "Cumulative Reasoning With Large Language Models" (https://arxiv.org/abs/2308.04371)☆294Updated 10 months ago
- [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…☆159Updated last month
- ☆278Updated 6 months ago