Author:Josef Urban

Publications

Keyphrases

A* proof search, Artificial Intelligence2, ATP Competitions, automated reasoning6, automated theorem proving4, automatic theorem provers, CADE, computational linguistics, Coq, feature weighting, first-order logic, Flyspeck2, formal mathematics2, higher-order logic2, HOL Light3, IJCAR, interactive theorem proving2, large theories2, large-theory automated reasoning2, machine learning6, Mizar, multiple proofs, Parameters Learning, Parsing Mathematics, premise selection2, proof advice, proof automation, proving strategy, strategy development, Strategy evolution, strategy invention, Tarskian Geometry, type checking, type theory.