2 citations · 2 across the 8 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
cs.CV2025
PlanMoGPT: Flow-Enhanced Progressive Planning for Text to Motion Synthesis
Chuhao Jin, Haosen Li, Bingzi Zhang +7
Recent advances in large language models (LLMs) have enabled breakthroughs in many multimodal generation tasks, but a significant performance gap still exists in text-to-motion gen…
cs.AI2025
Leanabell-Prover: Posttraining Scaling in Formal Reasoning
Jingyuan Zhang, Qi Wang, Xingguang Ji +6
Recent advances in automated theorem proving (ATP) through LLMs have highlighted the potential of formal reasoning with Lean 4 codes. However, ATP has not yet be revolutionized by…
cs.AI2025
SPPD: Self-training with Process Preference Learning Using Dynamic Value Margin
Hao Yi, Qingyang Li, Yulan Hu +3
Recently, enhancing the numerical and logical reasoning capability of Large Language Models (LLMs) has emerged as a research hotspot. Existing methods face several limitations: inf…