lupantech / dl4mathLinks
Resources of deep learning for mathematical reasoning (DL4MATH).
☆358Updated last year
Alternatives and similar repositories for dl4math
Users that are interested in dl4math are comparing it to the libraries listed below
Sorting:
- This repository contains a collection of papers and resources on Reasoning in Large Language Models.☆565Updated last year
- ☆330Updated 3 months ago
- Codes and Data for Scaling Relationship on Learning Mathematical Reasoning with Large Language Models☆264Updated 8 months ago
- Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"☆151Updated 2 months ago
- AI for Mathematics (AI4Math) paper list☆163Updated 8 months ago
- [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…☆151Updated 10 months ago
- Reading list of Instruction-tuning. A trend starts from Natrural-Instruction (ACL 2022), FLAN (ICLR 2022) and T0 (ICLR 2022).☆769Updated last year
- This is a collection of research papers for Self-Correcting Large Language Models with Automated Feedback.☆526Updated 7 months ago
- ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search (NeurIPS 2024)☆631Updated 4 months ago
- [MathCoder, MathCoder-VL] Family of LLMs/LMMs for mathematical reasoning.☆289Updated 2 weeks ago
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆220Updated last year
- Prod Env☆421Updated last year
- Paper List for In-context Learning 🌷☆854Updated 7 months ago
- Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…☆129Updated 10 months ago
- A large-scale, fine-grained, diverse preference dataset (and models).☆340Updated last year
- Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" [ICLR 2024]☆374Updated 9 months ago
- paper list on reasoning in NLP☆189Updated last month
- Data and Code for Program of Thoughts (TMLR 2023)☆274Updated last year
- ☆276Updated 5 months ago
- This is the repository that contains the source code for the Self-Evaluation Guided MCTS for online DPO.☆314Updated 10 months ago
- The repository for the survey paper <<Survey on Large Language Models Factuality: Knowledge, Retrieval and Domain-Specificity>>☆340Updated last year
- [ACL 2024 Findings] MathBench: A Comprehensive Multi-Level Difficulty Mathematics Evaluation Dataset☆100Updated 2 weeks ago
- MWPToolkit is an open-source framework for math word problem(MWP) solvers.☆163Updated 2 years ago
- Official implementation of paper "Cumulative Reasoning With Large Language Models" (https://arxiv.org/abs/2308.04371)☆294Updated 8 months ago
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆324Updated 11 months ago
- SOTA Math Opensource LLM☆332Updated last year
- The MATH Dataset (NeurIPS 2021)☆1,125Updated 10 months ago
- The dataset and code for paper: TheoremQA: A Theorem-driven Question Answering dataset☆157Updated last year
- A paper & resource list of large language models, including course, paper, demo, figures☆199Updated last year
- RLHF implementation details of OAI's 2019 codebase☆187Updated last year