paper-with-me

Papers

KG-Augmented Executable CoT for Mathematical Coding

2025-08-06 · Xingyu Chen, Junxiu An, Jun Guo, Li Wang, Jingcai Guo arxiv

In recent years, large language models (LLMs) have excelled in natural language processing tasks but face significant challenges in complex reasoning tasks such as mathematical reasoning and code generation. To address these limitations, we propose KG-Augmented Executable Chain-of-Thought (KGA-ECoT), a novel framework that enhances code generation through knowledge graphs and improves mathematical reasoning via executable code. KGA-ECoT decomposes problems into a Structured Task Graph, leverages efficient GraphRAG for precise knowledge retrieval from mathematical libraries, and generates verifiable code to ensure computational accuracy. Evaluations on multiple mathematical reasoning benchmarks demonstrate that KGA-ECoT significantly outperforms existing prompting methods, achieving absolute accuracy improvements ranging from several to over ten percentage points. Further analysis confirms the critical roles of GraphRAG in enhancing code quality and external code execution in ensuring precision. These findings collectively establish KGA-ECoT as a robust and highly generalizable framework for complex mathematical reasoning tasks.

📄 PDF Abstract BibTeX arXiv:2508.04072

Code (0)

등록된 구현이 없습니다.

Tasks

Mathematical ReasoningKnowledge GraphsCode Generation

Similar Papers 제목 키워드 기반

Type-Aware Retrieval-Augmented Generation with Dependency Closure for Solver-Executable Industrial Optimization Modeling

2026-03-03 · Y. Zhong, R. Huang, M. Wang, Z. Guo 외 arxiv

Automated industrial optimization modeling requires reliable translation of natural-language requirements into solver-executable code. However, large language models often generate non-compilable models due to missing de…

Domain Generalization

†DAGGER: Distractor-Aware Graph Generation for Executable Reasoning in Math Problems

2026-01-11 · Zabir Al Nazi, Shubhashis Roy Dipta, Sudipta Kar arxiv

Chain-of-Thought (CoT) prompting is widely adopted for mathematical problem solving, including in low-resource languages, yet its behavior under irrelevant context remains underexplored. To systematically study this chal…

Mathematical ReasoningGraph Generation

NEMO: Execution-Aware Optimization Modeling via Autonomous Coding Agents

2026-01-29 · Yang Song, Anoushka Vyas, Zirui Wei, Sina Khoshfetrat Pakazad 외 arxiv

We present NEMO, a system that translates Natural-language descriptions of decision problems into formal Executable Mathematical Optimization implementations using autonomous coding agents (ACAs). Existing approaches rel…

Coding Agents are Effective Long-Context Processors

2026-03-20 · Weili Cao, Xunjian Yin, Bhuwan Dhingra, Shuyan Zhou arxiv

Large Language Models (LLMs) have demonstrated remarkable progress in scaling to access massive contexts. However, the access is via the latent and uninterpretable attention mechanisms, and LLMs fail to effective process…

Open-Domain Question Answering

Theorem-Grounded Execution Ontologies for Interpretable Machine Reasoning

2026-06-14 · Raghu Anantharangachar arxiv

Large language models have achieved impressive performance on reasoning tasks spanning mathematics, science, programming, and commonsense inference. Despite these advances, their reasoning processes remain largely latent…