TIM-PRM: Tool-gestützte Verifikation multimodaler Modelle
Multimodale große Sprachmodelle (MLLMs) haben in der mathematischen Logik beeindruckende Fortschritte erzielt, bleiben jedoch anfällig für visuelle Halluzinationen und logische Inkonsistenzen. Standardisierte, ergebnisb…