Qiyang Li

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

RLDG migliora l'apprendimento dei robot grazie a dati di alta qualità, migliorando le prestazioni nei compiti.