Shizhe Diao

Esaminare il compromesso tra il fine-tuning e la preservazione delle abilità generali nei modelli di IA.

Un nuovo metodo migliora i modelli di linguaggio del codice tramite casi di test efficaci e apprendimento delle preferenze.

Un framework per migliorare la dimostrazione dei teoremi usando Lean4 e modelli linguistici.

Un metodo per ridurre i modelli di linguaggio senza sacrificare l'efficacia tramite potatura e distillazione.

Questa ricerca presenta un nuovo metodo per i LLM per risolvere problemi di grafi usando il codice.

I ricercatori migliorano i modelli linguistici per ragionamenti matematici complessi.