@inproceedings{cunningham-etal-2022-towards,
    title = "Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs",
    author = "Cunningham, Garett  and
      Bunescu, Razvan  and
      Juedes, David",
    editor = "Ferreira, Deborah  and
      Valentino, Marco  and
      Freitas, Andre  and
      Welleck, Sean  and
      Schubotz, Moritz",
    booktitle = "Proceedings of the 1st Workshop on Mathematical Natural Language Processing (MathNLP)",
    month = dec,
    year = "2022",
    address = "Abu Dhabi, United Arab Emirates (Hybrid)",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/add-emnlp-2024-awards/2022.mathnlp-1.4/",
    doi = "10.18653/v1/2022.mathnlp-1.4",
    pages = "25--32"
}