arxivcs.AIcs.LG2026-06-27
Self-Supervised Theorem Discovery in a Formal Axiomatic System
Kazuki Ota, Takayuki Osa, Tatsuya Harada
Recent artificial intelligence (AI) systems have shown remarkable progress in mathematical reasoning. Many existing approaches, including large language models (LLMs), draw on human prior knowledge in the form of mathematical text, code, or theorem libraries. Although these appro…