lupantech / dl4math
Resources of deep learning for mathematical reasoning (DL4MATH).
☆340Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for dl4math
- This repository contains a collection of papers and resources on Reasoning in Large Language Models.☆542Updated 11 months ago
- ☆238Updated 3 weeks ago
- AI for Mathematics (AI4Math) paper list☆132Updated last month
- Prod Env☆384Updated last year
- The MATH Dataset (NeurIPS 2021)☆884Updated 3 months ago
- This is a collection of research papers for Self-Correcting Large Language Models with Automated Feedback.☆431Updated last week
- Official implementation of paper "Cumulative Reasoning With Large Language Models" (https://arxiv.org/abs/2308.04371)☆286Updated last month
- Codes and Data for Scaling Relationship on Learning Mathematical Reasoning with Large Language Models☆215Updated last month
- LLM hallucination paper list☆289Updated 7 months ago
- Paper List for In-context Learning 🌷☆815Updated last month
- Family of LLMs for mathematical reasoning.☆230Updated 5 months ago
- [ACL 2024] A Survey of Chain of Thought Reasoning: Advances, Frontiers and Future☆323Updated 4 months ago
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆94Updated 6 months ago
- ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search (NeurIPS 2024)☆292Updated 3 weeks ago
- Data and Code for Program of Thoughts (TMLR 2023)☆243Updated 5 months ago
- [ACL 2023] Reasoning with Language Model Prompting: A Survey☆891Updated 3 weeks ago
- ☆220Updated 2 months ago
- Retrieval-Augmented Theorem Provers for Lean☆225Updated 2 months ago
- Paper collection on building and evaluating language model agents via executable language grounding☆338Updated 6 months ago
- Code and data for "MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning" (ICLR 2024)☆330Updated 2 months ago
- Papers and Datasets on Instruction Tuning and Following. ✨✨✨☆457Updated 7 months ago
- Paper List for a new paradigm of NLP: Interactive NLP (https://arxiv.org/abs/2305.13246)☆212Updated last year
- Must-read Papers on Large Language Model (LLM) as Optimizers and Automatic Optimization for Prompting LLMs.☆225Updated 7 months ago
- Everything about AI4Math (AI for Mathematics).☆17Updated 5 months ago
- [ICML 2024] LESS: Selecting Influential Data for Targeted Instruction Tuning☆368Updated 3 weeks ago
- Reading list of Instruction-tuning. A trend starts from Natrural-Instruction (ACL 2022), FLAN (ICLR 2022) and T0 (ICLR 2022).☆754Updated last year
- [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…☆92Updated 3 months ago
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆131Updated 2 months ago
- Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…☆80Updated 3 months ago
- SOTA Math Opensource LLM☆315Updated 10 months ago