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 huma…