Poster "llm reasoning" Papers
4 papers found
Conference
APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh
NEURIPS 2025arXiv:2505.05758
9
citations
Bag of Tricks for Inference-time Computation of LLM Reasoning
Fan LIU, Wen-Shuo Chao, Naiqiang Tan et al.
NEURIPS 2025arXiv:2502.07191
12
citations
HumanoidGen: Data Generation for Bimanual Dexterous Manipulation via LLM Reasoning
Zhi Jing, Siyuan Yang, Jicong Ao et al.
NEURIPS 2025arXiv:2507.00833
6
citations
ReDit: Reward Dithering for Improved LLM Policy Optimization
Chenxing Wei, Jiarui Yu, Ying He et al.
NEURIPS 2025arXiv:2506.18631
8
citations