De Lessen van het Ontwikkelen van Beloningsmodellen in het Wiskundig RedenerenThe Lessons of Developing Process Reward Models in Mathematical
Reasoning
Procesbeloningsmodellen (PRM's) komen naar voren als een veelbelovende benadering voor procesbegeleiding bij wiskundige redenering van Grote Taalmodellen (LLM's), die tot doel hebben om tussenliggende fouten in de redeneerprocessen te identificeren en te verminderen. De ontwikkeling van effectieve PRM's staat echter voor aanzienlijke uitdagingen, met name op het gebied van gegevensannotatie en evaluatiemethodologieën. In dit artikel tonen we aan, door uitgebreide experimenten, dat de veelgebruikte Monte Carlo (MC) schattingsgebaseerde gegevenssynthese voor PRM's doorgaans inferieure prestaties en generalisatie oplevert in vergelijking met LLM-als-rechter en menselijke annotatiemethoden. MC-schatting vertrouwt op voltooiingsmodellen om de juistheid van de huidige stap te evalueren, wat leidt tot onnauwkeurige stapverificatie. Bovendien identificeren we mogelijke vooroordelen in conventionele Best-of-N (BoN) evaluatiestrategieën voor PRM's: (1) De onbetrouwbare beleidsmodellen genereren reacties met juiste antwoorden maar gebrekkige processen, wat leidt tot een mismatch tussen de evaluatiecriteria van BoN en de PRM-doelstellingen van procesverificatie. (2) De tolerantie van PRM's voor dergelijke reacties leidt tot opgeblazen BoN-scores. (3) Bestaande PRM's hebben een aanzienlijk deel van minimale scores geconcentreerd op de uiteindelijke antwoordstappen, wat wijst op de verschuiving van proces naar op uitkomst gebaseerde beoordeling in BoN-geoptimaliseerde PRM's. Om deze uitdagingen aan te pakken, ontwikkelen we een consensusfiltermechanisme dat MC-schatting effectief integreert met LLM-als-rechter en pleiten voor een meer uitgebreid evaluatiekader dat responsniveau- en stapniveaumetrieken combineert. Op basis van deze mechanismen verbeteren we aanzienlijk zowel de modelprestaties als de gegevensefficiëntie in de BoN-evaluatie en de stapsgewijze foutidentificatietaak. Tot slot brengen we een nieuw toonaangevend PRM uit dat bestaande open-source alternatieven overtreft en praktische richtlijnen biedt voor toekomstig onderzoek naar het bouwen van procesbegeleidingsmodellen.