Mathematics with large language models as provers and verifiers. - Hieu Le Duc; Leo Liberti (CoRR, 2025)