Evaluating the Accuracy of Autoformalization Techniques. IJCHML 2023, 3 (1).