Title: Automated theorem proving using Learning : concepts and code
Speaker: Siddhartha Gadgil
Date: 15 May 2015
Time: 11:00 a.m.
Venue: LH-III, Department of Mathematics, IISc
In this very informal seminar, I will discuss various aspects of ongoing work to build an automated theorem proving system using, among other things, machine learning.