Duc, H. L., & Liberti, L. (2025). Mathematics with large language models as provers and verifiers.
Chicago Style (17th ed.) CitationDuc, Hieu Le, and Leo Liberti. Mathematics with Large Language Models as Provers and Verifiers. 2025.
MLA (9th ed.) CitationDuc, Hieu Le, and Leo Liberti. Mathematics with Large Language Models as Provers and Verifiers. 2025.
Warning: These citations may not always be 100% accurate.