Los investigadores aplican ILP para mejorar las predicciones tácticas en la demostración interactiva de teoremas.
― 9 minilectura
Liao Zhang
Una mirada a cómo usar el aprendizaje automático para optimizar sistemas de reescritura de términos.
― 6 minilectura