Zhicheng Yang

Nuovi benchmark puntano a migliorare le capacità di generazione di teoremi dei modelli per il ragionamento automatico.

LA POESIA aumenta l'efficienza della dimostrazione dei teoremi grazie al suo approccio ricorsivo.

Nuovi metodi e standard puntano a semplificare la formalizzazione della matematica tramite Lean 4.

Nuovo metodo migliora la comunicazione tra medici e pazienti usando testi e immagini.

I ricercatori trovano modi per migliorare il modo in cui i grandi modelli di linguaggio esprimono le loro conoscenze.