Benchmarking Automated Theorem Proving with Large Language Models

Vanessa Lama | Catherine Ma | Tirthankar Ghosal |

Paper Details:

Month: November
Year: 2024
Location: Miami, FL, USA
Venue: NLP4Science | WS |

Citations

URL

No Citations Yet

Field Of Study