Renjie Pi

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

2025-07-20T08:35:12+00:00 ― 7 leggere min

TAGCOS ottimizza il tuning delle istruzioni selezionando sottoinsiemi di dati efficaci per i modelli di linguaggio.

2025-07-09T13:12:12+00:00 ― 6 leggere min

Un nuovo metodo migliora la creazione di video per soddisfare le aspettative degli utenti.

2025-02-19T15:16:39+00:00 ― 7 leggere min