I ricercatori usano l'ILP per migliorare le previsioni tattiche nella dimostrazione interattiva dei teoremi.
Liao Zhang, David M. Cerna, Cezary Kaliszyk
― 8 leggere min
Liao Zhang
Uno sguardo sull'uso del machine learning per ottimizzare i sistemi di riscrittura dei termini.
Liao Zhang, Fabian Mitterwallner, Jan Jakubuv
― 6 leggere min