4 papers
Large forward discretely self-similar solutions to the two-dimensional Navier-Stokes equations with rough data
Changfeng Gui, Hao Liu, Chunjing Xie
We construct forward discretely self-similar (DSS) solutions of two-dimensional Navier-Stokes equations with arbitrarily large data in . For…
Planned Test-Time Scaling with Coordinated Reasoning Paths
Xueqing Wu, Langxing Bai, Hritik Bansal +5
Test-time scaling with parallel branches is widely adopted to improve performance on challenging reasoning tasks. The predominant approach, repeated sampling, draws branches indepe…
From Reasoning Strings to Partial Orders: Verifier-Certified Rule Transport through Quotient Policy Optimization
Bang Xie, Hao Liu, Zhiyuan Peng +5
Many computations admit several valid execution orders because independent subgoals or disjoint state updates can commute. Reinforcement learning with verifiable rewards usually tr…
PonyEval: Evaluating LLM-Based Program Repair for Capability-Safe and Actor-Oriented Pony Software
Bang Xie, Hao Liu, Zhenyu Shi +8
Repository-level issue-resolution benchmarks have made executable evaluation central to software-engineering agents, but their language coverage remains concentrated in mainstream…