Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2505.20869
Cited By
Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving
27 May 2025
Kuo Zhou
Lu Zhang
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving"
4 / 4 papers shown
Title
ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis
Haoxiong Liu
Jiacheng Sun
Zechao Li
Andrew Chi-Chih Yao
103
3
0
30 Jan 2025
Error Classification of Large Language Models on Math Word Problems: A Dynamically Adaptive Framework
Yuhong Sun
Zhangyue Yin
Xuanjing Huang
Xipeng Qiu
Hui Zhao
LRM
57
2
0
28 Jan 2025
PRMBench: A Fine-grained and Challenging Benchmark for Process-Level Reward Models
Mingyang Song
Zhaochen Su
Xiaoye Qu
Jiawei Zhou
Yu Cheng
LRM
168
40
0
06 Jan 2025
ProcessBench: Identifying Process Errors in Mathematical Reasoning
Chujie Zheng
Zizhuo Zhang
Beichen Zhang
Runji Lin
Keming Lu
Bowen Yu
Dayiheng Liu
Jingren Zhou
Junyang Lin
LRM
217
77
0
09 Dec 2024
1