Carina Hong von Axiom Math stellt Forschungsergebnisse zu "Verified Generation" vor – ein Ansatz, der KI-Systeme zuverlässiger und überprüfbar macht. Das Konzept der "Compounding Intelligence" zielt darauf ab, dass KI-Modelle ihre eigenen Ergebnisse iterativ verbessern können. Dieser Forschungsschwerpunkt adressiert ein Kernproblem heutiger LLMs: die Unsicherheit über die Korrektheit von Ausgaben, besonders bei mathematischen und logischen Aufgaben. Das Thema interessiert sowohl Grundlagenforschung als auch praktische Anwendungen, wo Vertrauenswürdigkeit kritisch ist.
