Ein Rahmenwerk zur Verbesserung des Beweisführens mit Lean4 und Sprachmodellen.
― 7 min Lesedauer
Jipeng Zhang
TAGCOS optimiert das Instruction Tuning, indem es effektive Datensets für Sprachmodelle auswählt.
― 6 min Lesedauer
Hochmoderne Wissenschaft einfach erklärt
Ein Rahmenwerk zur Verbesserung des Beweisführens mit Lean4 und Sprachmodellen.
― 7 min Lesedauer
TAGCOS optimiert das Instruction Tuning, indem es effektive Datensets für Sprachmodelle auswählt.
― 6 min Lesedauer