Machine learning coalgebraic proofs

Ekaterina Komendantskaya

Research output: Chapter in Book/Report/Conference proceedingChapter


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.

Original languageEnglish
Title of host publicationLatest Advances in Inductive Logic Programming
PublisherImperial College Press
Number of pages8
ISBN (Electronic)9781783265091
ISBN (Print)9781783265084
Publication statusPublished - Dec 2014

ASJC Scopus subject areas

  • General Computer Science


Dive into the research topics of 'Machine learning coalgebraic proofs'. Together they form a unique fingerprint.

Cite this