Yuhuai Wu

Presentiamo REFACTOR, un sistema per l'estrazione automatica di teoremi da dimostrazioni matematiche.

Il metodo DTV migliora l'affidabilità delle risposte dei modelli linguistici di grandi dimensioni nei problemi di matematica.