Papers with Code 아카이브
Mathematical Reasoning
태스크의 하위 분류와 논문·코드·평가·기법·데이터셋을 탐색하세요.
- 하위 태스크
- 7
- 평가표
- 11
- 보존된 평가 기록
- 41
코드
관련 논문과 평가 결과에 연결된 구현입니다. 출처에서 확인된 저자 구현에는 공식 코드 표시가 있습니다.
https://github.com/cmu-pasta/onward24
공식 코드Software Engineering Methods For AI-Driven Deductive Legal Reasoning
https://github.com/cognacs/tag-cat
공식 코드https://github.com/collinskatie/checkmate
공식 코드Evaluating Language Models for Mathematics through Interactions
https://github.com/conceptmath/conceptmath
공식 코드https://github.com/conglu1997/intelligent-go-explore
공식 코드Intelligent Go-Explore: Standing on the Shoulders of Giant Foundation Models
https://github.com/corei5/MC_NEST
공식 코드https://github.com/corei5/MC_NEST_GPT
공식 코드https://github.com/cosmaadrian/romath
공식 코드https://github.com/cse-ai-lab/RealCQA
공식 코드RealCQA: Scientific Chart Question Answering as a Test-bed for First-Order Logic
https://github.com/cyrilli/stride
공식 코드STRIDE: A Tool-Assisted LLM Agent Framework for Strategic and Interactive Decision-Making
https://github.com/cyzhh/MMOS
공식 코드An Empirical Study of Data Ability Boundary in LLMs' Math Reasoning
https://github.com/dali-does/clevr-math
공식 코드CLEVR-Math: A Dataset for Compositional Language, Visual and Mathematical Reasoning
https://github.com/debrup-61/mathsensei
공식 코드MATHSENSEI: A Tool-Augmented Large Language Model for Mathematical Reasoning
https://github.com/declare-lab/llm-reasoningtest
공식 코드Evaluating LLMs' Mathematical and Coding Competency through Ontology-guided Interventions
https://github.com/declare-lab/pathfinder-prm
공식 코드https://github.com/declare-lab/prove
공식 코드https://github.com/deep-symbolic-mathematics/Multimodal-Math-Pretraining
공식 코드SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training
https://github.com/deep-symbolic-mathematics/Multimodal-Symbolic-Regression
공식 코드SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training
https://github.com/deepakn97/maf
공식 코드MAF: Multi-Aspect Feedback for Improving Reasoning in Large Language Models
https://github.com/deepreasoning/neulr
공식 코드Are Large Language Models Really Good Logical Reasoners? A Comprehensive Evaluation and Beyond
https://github.com/deepseek-ai/deepseek-coder-v2
공식 코드DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence
https://github.com/deepseek-ai/deepseek-math
공식 코드DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
https://github.com/deepseek-ai/deepseek-prover-v2
공식 코드https://github.com/deepseek-ai/deepseek-r1
공식 코드DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
https://github.com/demoleiwang/cgmwp
공식 코드Improving Compositional Generalization in Math Word Problem Solving
https://github.com/dicelab-rhul/game-formaliser
공식 코드Autoformalization of Game Descriptions using Large Language Models
https://github.com/dicelab-rhul/lelma
공식 코드Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents
https://github.com/direct-bit/pspo
공식 코드PSPO*: An Effective Process-supervised Policy Optimization for Reasoning Alignment
https://github.com/dreamtheater123/voxeval
공식 코드VoxEval: Benchmarking the Knowledge Understanding Capabilities of End-to-End Spoken Language Models
https://github.com/dvlab-research/step-dpo
공식 코드Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs
https://github.com/easonxiao-888/mindomni
공식 코드MindOmni: Unleashing Reasoning Generation in Vision Language Models with RGPO
https://github.com/ecnu-icalk/educhat-math
공식 코드https://github.com/eleanor-h/mustard
공식 코드MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
https://github.com/eleutherai/gpt-neox
공식 코드ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
https://github.com/emalach/linearlm
공식 코드Auto-Regressive Next-Token Predictors are Universal Learners
출처: Papers with Code · CC BY-SA 4.0. 아카이브 자료와 새로 수집한 논문은 별도로 관리합니다.