Shizhe Diao

Eine neue Methode verbessert Code-Sprachmodelle durch effektive Testfälle und Präferenzlernen.

Ein Rahmenwerk zur Verbesserung des Beweisführens mit Lean4 und Sprachmodellen.

Eine Methode, um Sprachmodelle zu verkleinern, ohne die Effektivität durch Pruning und Distillation zu opfern.

Diese Forschung präsentiert eine neue Methode für LLMs, um Graphprobleme mit Code zu lösen.

Forscher verbessern Sprachmodelle für komplexes mathematisches Denken.