Getting More out of Large Language Models for Proofs

Shizhuo Dylan Zhang, Talia Ringer, Emily First

Large language models have the potential to simplify formal theorem proving and make it more accessible. But how to get the most out of these models is still an open question. To a…