Urban, Josef

History of Interactive Theorem Proving

Harrison, J., Urban, J., & Wiedijk, F. (2014) · Handbook of the History of Logic

Logic, programming, and type systemsLogic, Reasoning, and Knowledge

Cited by 107

Reinforcement Learning of Theorem Proving

Kaliszyk, C., Urban, J., Michalewski, H., & Olšák, M. (2018) · arXiv

AI-based Problem Solving and PlanningLogic, programming, and type systems

Cited by 68

Towards Finding Longer Proofs

Zombori, Z., Csiszárik, A., Michalewski, H., Kaliszyk, C., & Urban, J. (2021) · Lecture Notes in Computer Science

Logic, programming, and type systemsAI-based Problem Solving and Planning

Cited by 22