Benchmarking Automated Theorem Proving with Large Language Models

Benchmarking Automated Theorem Proving with Large Language Models Vanessa Lama author Catherine Ma author Tirthankar Ghosal author 2024-11 text Proceedings of the 1st Workshop on NLP for Science (NLP4Science) Lotem Peled-Cohen editor Nitay Calderon editor Shir Lissak editor Roi Reichart editor Association for Computational Linguistics Miami, FL, USA conference publication lama-etal-2024-benchmarking 10.18653/v1/2024.nlp4science-1.18 https://aclanthology.org/2024.nlp4science-1.18/ 2024-11 208 218