lupantech / dl4mathLinks
Resources of deep learning for mathematical reasoning (DL4MATH).
☆368Updated 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☆182Updated last year
- This repository contains a collection of papers and resources on Reasoning in Large Language Models.☆564Updated last year
- ☆342Updated 5 months ago
- Codes and Data for Scaling Relationship on Learning Mathematical Reasoning with Large Language Models☆266Updated last year
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆261Updated last year
- Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…☆144Updated last year
- Prod Env☆433Updated 2 years ago
- Papers and Datasets on Instruction Tuning and Following. ✨✨✨☆503Updated last year
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries☆68Updated last year
- ☆165Updated last year
- Paper List for In-context Learning 🌷☆868Updated last year
- Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"☆167Updated 7 months ago
- Pytorch implementation of DoReMi, a method for optimizing the data mixture weights in language modeling datasets☆344Updated last year
- Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" [ICLR 2024]☆377Updated last year
- paper list on reasoning in NLP☆193Updated 7 months ago
- [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…☆173Updated 5 months ago
- Data and Code for Program of Thoughts [TMLR 2023]☆292Updated last year
- This is the repository that contains the source code for the Self-Evaluation Guided MCTS for online DPO.☆327Updated last year
- This is a collection of research papers for Self-Correcting Large Language Models with Automated Feedback.☆556Updated last year
- [MathCoder, MathCoder-VL] Family of LLMs/LMMs for mathematical reasoning.☆327Updated 3 weeks ago
- A Survey on Data Selection for Language Models☆252Updated 6 months ago
- Code for STaR: Bootstrapping Reasoning With Reasoning (NeurIPS 2022)☆218Updated 2 years ago
- NAACL 2021: Are NLP Models really able to Solve Simple Math Word Problems?☆134Updated 3 years ago
- The MATH Dataset (NeurIPS 2021)☆1,236Updated 2 months ago
- ☆83Updated 9 months ago
- The dataset and code for paper: TheoremQA: A Theorem-driven Question Answering dataset☆159Updated last year
- (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training☆284Updated last year
- A large-scale, fine-grained, diverse preference dataset (and models).☆355Updated last year
- ☆52Updated 8 months ago
- Mix of Minimal Optimal Sets (MMOS) of dataset has two advantages for two aspects, higher performance and lower construction costs on math…☆73Updated last year