Exploring Autoformalization in Small Language Models. IJCHML 2023, 1 (3).