Integrating Autoformalization in Automated Theorem Provers. IJCHML 2023, 1 (4).