Papers with Code 아카이브

Mathematical Reasoning

태스크의 하위 분류와 논문·코드·평가·기법·데이터셋을 탐색하세요.

전체 기법전체 데이터셋

하위 태스크

7

평가표

11

보존된 평가 기록

41

코드

관련 논문과 평가 결과에 연결된 구현입니다. 출처에서 확인된 저자 구현에는 공식 코드 표시가 있습니다.

https://github.com/54zy/CAT4AI

공식 코드

Position: AI Evaluation Should Learn from How We Test Humans

https://github.com/Algebraic-AI/Open-AML-Engine

공식 코드

Algebraic Machine Learning: Learning as computing an algebraic decomposition of a task

https://github.com/Arvid-pku/Godel_Agent

공식 코드

Gödel Agent: A Self-Referential Agent Framework for Recursive Self-Improvement

https://github.com/BatsResearch/crosslingual-test-time-scaling

공식 코드

Crosslingual Reasoning through Test-Time Scaling

https://github.com/BitSecret/FGPS

공식 코드

FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving

https://github.com/DAMO-NLP-SG/SeaExam

공식 코드

SeaLLMs 3: Open Foundation and Chat Multilingual Large Language Models for Southeast Asian Languages

https://github.com/Debrup-61/RaDeR

공식 코드

RaDeR: Reasoning-aware Dense Retrieval Models

https://github.com/ForoughA/recursiveMemNet

공식 코드

Compositional Generalization with Tree Stack Memory Units

https://github.com/IBM/Graph2Tree

공식 코드

Graph-to-Tree Neural Networks for Learning Structured Input-Output Translation with Applications to Semantic Parsing and Math Word Problem

https://github.com/JamesRoggeveen/hardmath2_eval

공식 코드

HARDMath2: A Benchmark for Applied Mathematics Built by Students as Part of a Graduate Class

https://github.com/JohnnyYeeee/math_prog_synth_env

공식 코드

A Reinforcement Learning Environment for Mathematical Reasoning via Program Synthesis

https://github.com/LeapLabTHU/Absolute-Zero-Reasoner

공식 코드

Absolute Zero: Reinforced Self-play Reasoning with Zero Data

https://github.com/Lolo1222/EquivPruner

공식 코드

EquivPruner: Boosting Efficiency and Quality in LLM-Based Search via Action Pruning

https://github.com/MARIO-Math-Reasoning/Super_MARIO

공식 코드

AlphaMath Almost Zero: Process Supervision without Process

https://github.com/MartheBallon/analysis_o3-mini_thinks_harder_not_longer

공식 코드

The Relationship Between Reasoning and Performance in Large Language Models -- o3 (mini) Thinks Harder, Not Longer

https://github.com/MiuLab/E2EMathSolver

공식 코드

Semantically-Aligned Equation Generation for Solving and Reasoning Math Word Problems

https://github.com/PKU-Baichuan-MLSystemLab/MathScape

공식 코드

MathScape: Evaluating MLLMs in multimodal Math Scenarios through a Hierarchical Benchmark

https://github.com/QinJinghui/SAU-Solver

공식 코드

Semantically-Aligned Universal Tree-Structured Solver for Math Word Problems

https://github.com/RUCAIBox/Slow_Thinking_with_LLMs

공식 코드

Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Models

https://github.com/Red-Hat-AI-Innovation-Team/its_hub

공식 코드

A Probabilistic Inference Approach to Inference-Time Scaling of LLMs using Particle-Based Monte Carlo Methods

https://github.com/RickySkywalker/TheoremLlama

공식 코드

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts

https://github.com/ShishirPatil/gorilla

공식 코드

Gorilla: Large Language Model Connected with Massive APIs

https://github.com/ShujinWu-0814/Alice

공식 코드

Alice: Proactive Learning with Teacher's Demonstrations for Weak-to-Strong Generalization

https://github.com/SkyworkAI/Skywork-R1V

공식 코드

Skywork-R1V3 Technical Report

https://github.com/TU2021/DPO-VP

공식 코드

Enhancing LLM Reasoning with Iterative DPO: A Comprehensive Empirical Investigation

https://github.com/TianduoWang/MsAT

공식 코드

Learning Multi-Step Reasoning by Solving Arithmetic Tasks

https://github.com/TianheL/LM-Implicit-Reasoning

공식 코드

Implicit Reasoning in Transformers is Reasoning through Shortcuts

https://github.com/UCSC-VLAA/MedReason

공식 코드

MedReason: Eliciting Factual Medical Reasoning Steps in LLMs via Knowledge Graphs

https://github.com/URSA-MATH/URSA-MATH

공식 코드

URSA: Understanding and Verifying Chain-of-thought Reasoning in Multimodal Mathematics

https://github.com/WangXinglin/FSC

공식 코드

Integrate the Essence and Eliminate the Dross: Fine-Grained Self-Consistency for Free-Form Language Generation

https://github.com/YangYongJin/MAQA-Official-Repo

공식 코드

MAQA: Evaluating Uncertainty Quantification in LLMs Regarding Data Uncertainty

https://github.com/YuweiYin/SWI

공식 코드

SWI: Speaking with Intent in Large Language Models

https://github.com/a773938364/divkd

공식 코드

A Diversity-Enhanced Knowledge Distillation Model for Practical Math Word Problem Solving

https://github.com/aeroplanepaper/GRPO-LEAD

공식 코드

GRPO-LEAD: A Difficulty-Aware Reinforcement Learning Approach for Concise Mathematical Reasoning in Language Models

https://github.com/agiresearch/aios

공식 코드

OmniRouter: Budget and Performance Controllable Multi-LLM Routing

https://github.com/agiresearch/eccos

공식 코드

OmniRouter: Budget and Performance Controllable Multi-LLM Routing

출처: Papers with Code · CC BY-SA 4.0. 아카이브 자료와 새로 수집한 논문은 별도로 관리합니다.