1 citations · 1 across the 4 of their papers we have counts for
4 papers · 1 filter
AutoPDE: Reliable Agentic PDE Solving via Explicitly Represented Solver Strategies
Huanshuo Dong, Keyao Zhang, Hong Wang +6
Numerical solvers for partial differential equations (PDEs) are core computational tools in science and engineering. Building reliable PDE solvers requires not only executable code…
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
Luoxin Chen, Jinming Gu, Liankai Huang +33
LLMs have demonstrated strong mathematical reasoning abilities by leveraging reinforcement learning with long chain-of-thought, yet they continue to struggle with theorem proving d…
Heimdall: test-time scaling on the generative verification
Wenlei Shi, Xing Jin
An AI system can create and maintain knowledge only to the extent that it can verify that knowledge itself. Recent work on long Chain-of-Thought reasoning has demonstrated great po…
Process Supervision-Guided Policy Optimization for Code Generation
Ning Dai, Zheng Wu, Renjie Zheng +7
Reinforcement learning (RL) with unit test feedback has enhanced large language models' (LLMs) code generation, but relies on sparse rewards provided only after complete code evalu…