3 papers
cs.LG2026
Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
Xiaoyang Liu, Zineng Dong, Yifan Bai +3
Statement autoformalization acts as a critical bridge between human mathematics and formal mathematics by translating natural language problems into formal language. While prior wo…
cs.SE2025
SCoGen: Scenario-Centric Graph-Based Synthesis of Real-World Code Problems
Xifeng Yao, Dongyu Lang, Wu Zhang +8
Significant advancements have been made in the capabilities of code large language models, leading to their rapid adoption and application across a wide range of domains. However,…
cs.AI2025
SLIM: Subtrajectory-Level Elimination for More Effective Reasoning
Xifeng Yao, Chengyuan Ma, Dongyu Lang +8
In recent months, substantial progress has been made in complex reasoning of Large Language Models, particularly through the application of test-time scaling. Notable examples incl…