Applications of Autoformalization in Legal Text Processing. IJCHML 2023, 1 (3).