ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2505.20869
  4. Cited By
Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving

Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving

27 May 2025
Kuo Zhou
Lu Zhang
    LRM
ArXiv (abs)PDFHTML

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
ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis
Haoxiong Liu
Jiacheng Sun
Zechao Li
Andrew Chi-Chih Yao
78
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
55
2
0
28 Jan 2025
PRMBench: A Fine-grained and Challenging Benchmark for Process-Level Reward Models
PRMBench: A Fine-grained and Challenging Benchmark for Process-Level Reward Models
Mingyang Song
Zhaochen Su
Xiaoye Qu
Jiawei Zhou
Yu Cheng
LRM
166
40
0
06 Jan 2025
ProcessBench: Identifying Process Errors in Mathematical Reasoning
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