@inproceedings{lama-etal-2024-benchmarking,
    title = "Benchmarking Automated Theorem Proving with Large Language Models",
    author = "Lama, Vanessa  and
      Ma, Catherine  and
      Ghosal, Tirthankar",
    editor = "Peled-Cohen, Lotem  and
      Calderon, Nitay  and
      Lissak, Shir  and
      Reichart, Roi",
    booktitle = "Proceedings of the 1st Workshop on NLP for Science (NLP4Science)",
    month = nov,
    year = "2024",
    address = "Miami, FL, USA",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/fix-sig-urls/2024.nlp4science-1.18/",
    doi = "10.18653/v1/2024.nlp4science-1.18",
    pages = "208--218"
}