Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2505.23703
Cited By
v1
v2
v3
v4 (latest)
Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability
29 May 2025
Ruida Wang
Yuxin Li
Yi R.
Fung
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability"
11 / 11 papers shown
Reasoning Path Divergence: A New Metric and Curation Strategy to Unlock LLM Diverse Thinking
Feng Ju
Zeyu Qin
Rui Min
Zhitao He
Lingpeng Kong
Yi R. Fung
LRM
158
1
0
30 Oct 2025
Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4
Yuxin Li
Minghao Liu
Ruida Wang
Wenzhao Ji
Zhitao He
Rui Pan
J. Huang
Tong Zhang
Yi R. Fung
150
0
0
30 Oct 2025
GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving
Ruida Wang
Jiarui Yao
Rui Pan
Shizhe Diao
Tong Zhang
98
1
0
13 Oct 2025
Diversity-Enhanced Reasoning for Subjective Questions
Yumeng Wang
Zhiyuan Fan
Jiayu Liu
J. Huang
Yi R. Fung
LRM
496
6
0
27 Jul 2025
Human-Aligned Faithfulness in Toxicity Explanations of LLMs
Ramaravind Kommiya Mothilal
Joanna Roy
Syed Ishtiaque Ahmed
Shion Guha
142
0
0
23 Jun 2025
MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?
Zhitao He
Zongwei Lyu
Dazhong Chen
Dadi Guo
Yi R. Fung
LRM
235
7
0
06 Jun 2025
DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
Zhaochun Ren
Zhihong Shao
Junxiao Song
Huajian Xin
Haoyu Wang
...
Hongxuan Tang
Yuxuan Liu
Wenjun Gao
Daya Guo
Chong Ruan
AIMat
ReLM
LRM
463
30
0
30 Apr 2025
Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model?
Yang Yue
Zhiqi Chen
Rui Lu
Andrew Zhao
Zhaokai Wang
Yang Yue
Shiji Song
Gao Huang
ReLM
LRM
718
446
0
18 Apr 2025
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Haiming Wang
Mert Unsal
Xiaohan Lin
Mantas Baksys
Qingbin Liu
...
Zhouliang Yu
Liang Luo
Zhilin Yang
Zhengying Liu
Jia-Nan Li
AIMat
ReLM
AI4TS
LRM
337
87
0
15 Apr 2025
FANS -- Formal Answer Selection for Natural Language Math Reasoning Using Lean4
Jiarui Yao
Ruida Wang
Tong Zhang
LRM
347
2
0
05 Mar 2025
Cognitive Behaviors that Enable Self-Improving Reasoners, or, Four Habits of Highly Effective STaRs
Kanishk Gandhi
Ayush Chakravarthy
Anikait Singh
Nathan Lile
Noah D. Goodman
ReLM
LRM
540
290
0
03 Mar 2025
1
