Author:Cezary Kaliszyk

Publications

Keyphrases

A* proof search, ATP Competitions, automated reasoning4, automated theorem proving, automatic theorem provers, Beagle, completion, computational linguistics, Coq, deep learning, feature weighting, first-order logic, Flyspeck2, formal mathematics2, higher-order logic3, HOL, HOL Light4, HOL4, interactive theorem proving2, large theories2, machine learning4, MESON, METIS, Mizar, paramodulation, Parsing Mathematics, premise selection, proof advice, proof assistants, proof automation, Proof tactics, rewriting, simple type theory, Strategy evolution, tableaux, theorem proving, type checking, type theory.