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

27 May 2025

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