@misc{indiciae2eaccce4bfb0, title = {Autolearn: Learn by Surprise, Commit by Proof}, author = {Kang-Sin Choi}, year = {2026}, url = {https://arxiv.org/abs/2604.01951}, note = {Source identifier: 2604.01951} }