skip to content

Combining Machine Learning and Automated Reasoning: Some Training Examples

Presented by: 
Josef Urban
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.

The video for this talk should appear here if JavaScript is enabled.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons