TY  - RPRT
TI  - Self-Supervised Theorem Discovery in a Formal Axiomatic System
AU  - Kazuki Ota
AU  - Takayuki Osa
AU  - Tatsuya Harada
PY  - 2026
UR  - https://arxiv.org/abs/2606.28747
ID  - 2606.28747
ER  -