2 papers
cs.MA2026
Reifying Research Logic: AI-Assisted Workflow Construction and Incremental Refinement for Quantitative Syntax
He Wang, Jingbo Chen, Yuqiao Lai +3
Quantitative language research often depends on long chains of computational steps, yet the logic connecting those steps usually remains buried in scripts. This makes analyses hard…
cs.CL2026
Constraint-First Reasoning: A Training-Free Protocol for Exploiting Answer-Space Constraints in Mathematical Problem Solving
Hongbo Ma, Bangji Yang, Yunqian Selina Cheng +3
Large language models can derive a plausible mathematical object yet still violate explicit requirements--for example, by omitting a modular reduction, returning a non-integer, or…