Author:Josef UrbanKeyphrasesA* proof search, Artificial Intelligence2, ATP Competitions, automated reasoning6, automated theorem proving5, automatic theorem provers, CADE, computational linguistics, Coq2, feature weighting, first-order logic, Flyspeck2, formal mathematics2, higher-order logic2, HOL Light3, IJCAR, interactive theorem proving3, large theories2, large-theory automated reasoning2, machine learning8, Mizar, multiple proofs, 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, type checking, type theory. |
|