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

Artificial intelligence for theorem proving in Isabelle/HOL

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

 Yutaka Nagashima
Researcher at CL group, University of Innsbruck



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