Forschung
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…
arXiv – cs.AI