Michael Rawson

Explorando el papel de la unificación en la mejora de los sistemas de prueba para el razonamiento automatizado.

Combinar la reescritura y el razonamiento inductivo mejora la eficiencia en la demostración automática de teoremas.

Explorando el impacto del paso de mensajes temporales en redes neuronales de gráficos.