Qiyang Li

Présentation de REFACTOR, un système pour l'extraction automatique de théorèmes à partir de preuves mathématiques.

RLDG améliore l'apprentissage des robots grâce à des données de haute qualité, ce qui booste leur performance.