Combining Machine Learning and Automated Reasoning: Some Training Examples

Duration: 1 hour 17 mins

Share this media item:

Embed this media item:

<iframe width="_width_" height="_height_" src="https://sms.cam.ac.uk/media/2525781/embed" frameborder="0" scrolling="no" allowfullscreen></iframe>

Choose size:

About this item

Available Formats

About this item

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.

Available Formats

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)