Kaliszyk, Cezary
Universität Innsbruck · University of Warsaw
2 papers on CoChatORCID 0000-0002-8273-6059
Most cited papers
- Verified
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
- Verified
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
Go further with a free account
Verify every reference, keep papers in a library, and ask questions across them.
Sign up - it is free