“Advanced Techniques in Autoformalization”. International Journal of Computational Health & Machine Learning, vol. 4, no. 1, Dec. 2023, https://ijchml.com/index.php/ijchml/article/view/175.