paper-with-me

홈 › Papers

Learning to Pose Problems: Reasoning-Driven and Solver-Adaptive Data Synthesis

2025-11-13 · Yongxian Wei, Yilin Zhao, Zixuan Hu, Li Shen, Xinrui Chen, Runxi Cheng, Sinan Du, Hao Yu, Chun Yuan, Dian Li arxiv

Data synthesis for training large reasoning models offers a scalable alternative to limited, human-curated datasets, enabling the creation of high-quality data. However, existing approaches face several challenges: (i) indiscriminate generation that ignores the solver's ability and yields low-value problems, or reliance on complex data pipelines to balance problem difficulty; and (ii) a lack of reasoning in problem generation, leading to shallow problem variants. In this paper, we develop a problem generator that reasons explicitly to plan problem directions before synthesis and adapts difficulty to the solver's ability. Specifically, we construct related problem pairs and augment them with intermediate problem-design CoT produced by a reasoning model. These data are used to bootstrap problem-design strategies in the generator. Then, we treat the solver's feedback on synthetic problems as a reward signal, enabling the generator to calibrate difficulty and produce complementary problems near the edge of the solver's competence. Extensive experiments on 10 mathematical and general reasoning benchmarks show that our proposed framework achieves a cumulative average improvement of 3.4%, demonstrating robust generalization across both language and vision-language models.

📄 PDF Abstract BibTeX arXiv:2511.09907

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

SolverLLM: Leveraging Test-Time Scaling for Optimization Problem via LLM-Guided Search

2025-10-19 · Dong Li, Xujiang Zhao, Linlin Yu, Yanchi Liu 외 arxiv

Large Language Models (LLMs) offer promising capabilities for tackling complex reasoning tasks, including optimization problems. However, existing methods either rely on prompt engineering, which leads to poor generaliza…

Prompt Engineering

Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition

2025-10-08 · Lei Xu, Pierre Beckmann, Marco Valentino, André Freitas arxiv

Neuro-symbolic NLP methods aim to leverage the complementary strengths of large language models and formal logical solvers. However, current approaches are mostly static in nature, i.e., the integration of a target solve…

MAPLE: Multi-Agent Adaptive Planning with Long-Term Memory for Table Reasoning

2025-06-06 · Ye Bai, Minghan Wang, Thuy-Trang Vu

Table-based question answering requires complex reasoning capabilities that current LLMs struggle to achieve with single-pass inference. Existing approaches, such as Chain-of-Thought reasoning and question decomposition,…

Question AnsweringTable-based Question Answering

On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases

2024-08-19 · Riley Kinahan, Spencer Killen, Kevin Wan, Jia-Huai You

Hybrid MKNF Knowledge Bases (HMKNF-KBs) constitute a formalism for tightly integrated reasoning over closed-world rules and open-world ontologies. This approach allows for accurate modeling of real-world systems, which o…

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers

2025-01-28 · Mohammad Raza, Natasa Milic-Frayling

Robustness of reasoning remains a significant challenge for large language models, and addressing it is essential for the practical applicability of AI-driven reasoning systems. We introduce Semantic Self-Verification (S…

Logical Reasoning