Training Step-Level Reasoning Verifiers with Formal Verification Tools
Paper • 2505.15960 • Published • 7
FoVer
Process Reward Models (PRMs) trained on step-level error labels automatically annotated by formal verification tools.
Process Reward Models (PRMs) trained on step-level error labels automatically annotated by formal verification tools.