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.


Contact: +91 (80) 2293 2711, +91 (80) 2293 2265
E-mail: chairman.math[at]iisc[dot]ac[dot]in