Thursday, 31st of October 2019, 12:00 – 1:00

Artificial intelligence for theorem proving in Isabelle/HOL

Venue: 
SR 1, ICT Building,
Technikerstraße 21a, 6020 Innsbruck

Lecturer:
 Yutaka Nagashima
Researcher at CL group, University of Innsbruck

Abstract: 

 

Despite the recent progress in automatic theorem provers, proof engineers are still suffering from the lack of powerful proof automation. In this talk I report our AI-based approach for further automating theorem proving in Isabelle/HOL.

 

Nach oben scrollen