Towards Machine Learning Mathematical Induction

12/04/2018
by   Yutaka Nagashima, et al.
0

Mathematical induction lies at the heart of mathematics and computer science. However, automated theorem proving of inductive problems is still limited in its power. In this abstract, we first summarize our progress in automating inductive theorem proving for Isabelle/HOL. Then, we present MiLkMaId, our approach to suggesting promising applications of mathematical induction without completing a proof search.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset