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 logic2, Flyspeck2, formal mathematics2, higher-order logic3, HOL, HOL Light4, HOL4, infinite model, interactive theorem proving2, large theories2, logical properties, machine learning4, MESON, METIS, Mizar, Neural Embedding, paramodulation, Parsing Mathematics, premise selection, proof advice, proof assistants, proof automation, Proof tactics, rewriting, simple type theory, SMT, Strategy evolution, SyGuS, tableaux, theorem proving, type checking, type theory.