Author:Josef Urban

Publications

Keyphrases

A* proof search, arithmetic, Artificial Intelligence2, ATP Competitions, automated reasoning6, automated theorem provers, automated theorem proving5, automatic theorem provers, benchmark, CADE, Clause Evaluation, computational linguistics, Coq2, feature weighting, first-order logic, Flyspeck2, formal mathematics2, Graph Neural Networks, higher-order logic2, HOL Light3, IJCAR, induction, inductive theorem provers, interactive theorem proving3, large theories2, large-theory automated reasoning2, machine learning9, Mizar, multiple proofs, OEIS, Parameters Learning, Parsing Mathematics, premise selection2, proof advice, proof automation, Proof synthesis, proving strategy, Recurrent Neural Networks, strategy development, Strategy evolution, strategy invention, Tactic Search, Tarskian Geometry, theorem proving, type checking, type theory.