Csiszárik, Adrián

Eötvös Loránd University · HUN-REN Alfréd Rényi Institute of Mathematics

1 paper on CoChatORCID 0009-0007-8131-8318

Most cited papers

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