Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs Garett Cunningham author Razvan Bunescu author David Juedes author 2022-12 text Proceedings of the 1st Workshop on Mathematical Natural Language Processing (MathNLP) Deborah Ferreira editor Marco Valentino editor Andre Freitas editor Sean Welleck editor Moritz Schubotz editor Association for Computational Linguistics Abu Dhabi, United Arab Emirates (Hybrid) conference publication cunningham-etal-2022-towards 10.18653/v1/2022.mathnlp-1.4 https://aclanthology.org/2022.mathnlp-1.4/ 2022-12 25 32