Combining Machine Learning and Automated Reasoning: Some Training Examples

Duration: 1 hour 17 mins

Description:	Urban, J Tuesday 18th July 2017 - 13:30 to 14:30


Created:	2017-07-26 16:37
Collection:	Big proof
Publisher:	Isaac Newton Institute
Copyright:	Urban, J
Language:	eng (English)


Abstract:	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.

Abstract:

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.

Format	Quality	Bitrate	Size
MPEG-4 Video	640x360	1.93 Mbits/sec	1.09 GB	View	Download
WebM	640x360	1.14 Mbits/sec	659.26 MB	View	Download
iPod Video	480x270	497.59 kbits/sec	280.62 MB	View	Download
MP3	44100 Hz	249.9 kbits/sec	142.77 MB	Listen	Download
Auto *	(Allows browser to choose a format it supports)