TY  - RPRT
TI  - Autolearn: Learn by Surprise, Commit by Proof
AU  - Kang-Sin Choi
PY  - 2026
UR  - https://arxiv.org/abs/2604.01951
ID  - 2604.01951
ER  -