FoVer: Efficient PRM Training Data Synthesis via Formal Verification
fover-prm.github.io
FoVer efficiently creates accurate training data for process reward models (PRMs) using formal verification tools.
关键词：FoVer, process reward model, PRM, reward model, large language model, LLM, reasoning