Machine Learning Coalgebraic Proofs
Ekaterina Komendantskaya · IMPERIAL COLLEGE PRESS eBooks · 2014
This chapter argues for a novel method to machine learn patterns in formal proofs using statistical machine learning methods. The method exploits coalgebraic approach to proofs. The success of the method is demonstrated on three applications allowing to distinguish well-formed proofs from ill-formed proofs, identify families of proofs and even families of potentially provable goals.