TY  - RPRT
TI  - From Expert-Guided Proof Search to Automated Open-Problem Solving
AU  - Adrián Zámečník
AU  - Matěj Kripner
AU  - Martin Koutecký
AU  - Martin Balko
AU  - Jan Grebík
AU  - Pavel Hubáček
AU  - Robert Šámal
AU  - Václav Rozhoň
PY  - 2026
UR  - https://arxiv.org/abs/2610.09769
ID  - 2610.09769
ER  -