lupantech / dl4math
Resources of deep learning for mathematical reasoning (DL4MATH).
☆348Updated last year
Alternatives and similar repositories for dl4math:
Users that are interested in dl4math are comparing it to the libraries listed below
- This repository contains a collection of papers and resources on Reasoning in Large Language Models.☆554Updated last year
- AI for Mathematics (AI4Math) paper list☆151Updated 4 months ago
- ☆312Updated last week
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆168Updated 9 months ago
- Paper List for In-context Learning 🌷☆835Updated 4 months ago
- The MATH Dataset (NeurIPS 2021)☆1,016Updated 6 months ago
- Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"☆129Updated 2 months ago
- Codes and Data for Scaling Relationship on Learning Mathematical Reasoning with Large Language Models☆244Updated 5 months ago
- Must-read Papers on Large Language Model (LLM) as Optimizers and Automatic Optimization for Prompting LLMs.☆234Updated 10 months ago
- Everything about AI4Math (AI for Mathematics).☆17Updated 9 months ago
- Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…☆109Updated 7 months ago
- paper list on reasoning in NLP☆184Updated last year
- A paper & resource list of large language models, including course, paper, demo, figures☆197Updated last year
- Paper List for a new paradigm of NLP: Interactive NLP (https://arxiv.org/abs/2305.13246)☆214Updated last year
- Family of LLMs for mathematical reasoning.☆247Updated 2 months ago
- Reading list of Instruction-tuning. A trend starts from Natrural-Instruction (ACL 2022), FLAN (ICLR 2022) and T0 (ICLR 2022).☆760Updated last year
- Papers and Datasets on Instruction Tuning and Following. ✨✨✨☆481Updated 10 months ago
- ☆138Updated 9 months ago
- The repository for the survey paper <<Survey on Large Language Models Factuality: Knowledge, Retrieval and Domain-Specificity>>☆331Updated 9 months ago
- Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" (ICLR 2024)☆360Updated 5 months ago
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆166Updated this week
- SOTA Math Opensource LLM☆331Updated last year
- RLHF implementation details of OAI's 2019 codebase☆176Updated last year
- This is a collection of research papers for Self-Correcting Large Language Models with Automated Feedback.☆495Updated 3 months ago
- [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…☆120Updated 6 months ago
- [ACL 2024] A Survey of Chain of Thought Reasoning: Advances, Frontiers and Future☆407Updated last month
- The related works and background techniques about Openai o1☆208Updated last month
- (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training☆258Updated 8 months ago
- The dataset and code for paper: TheoremQA: A Theorem-driven Question Answering dataset☆157Updated 9 months ago
- An Awesome Collection for LLM Survey☆326Updated 5 months ago