Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Gonzalez, Salwa Tabet"'
Publikováno v:
EPTCS 398, 2024, pp. 21-37
Conjecturing and theorem proving are activities at the center of mathematical practice and are difficult to separate. In this paper, we propose a framework for completing incomplete conjectures and incomplete proofs. The framework can turn a conjectu
Externí odkaz:
http://arxiv.org/abs/2401.11898