Gabriel Poesia

Esplorare come le abilità possono migliorare la presa di decisioni nel reinforcement learning.

MathCAMPS offre un modo nuovo per valutare il ragionamento matematico nei modelli linguistici.

I ricercatori insegnano alle macchine a risolvere problemi di matematica attraverso sfide generate da loro stesse.

Combinando l'IA con Dafny per semplificare i processi di verifica del software.