skip to content

Combining Machine Learning and Automated Reasoning: Some Training Examples

Presented by: 
Josef Urban Czech Technical University
Tuesday 18th July 2017 - 13:30 to 14:30
INI Seminar Room 2
Co-Author: Cezary Kaliszyk (U. of Innsbruck)

I am planning to show some samples of how machine learning and automated reasoning are usefully combined in various tasks related to interactive/automated proving, and automated formalization. My plan is to make the session a bit more interactive/improvised and show/discuss things in more detail, such as what features we use, what are the datasets and benchmarks/competitions, what are the training/evaluation tasks, and how the resulting systems are run and used. I encourage questions and discussion.

University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons