Stepping Back: A Literature Review of LLMs for Automated Theorem Proving
After hitting a wall with dataset construction, I'm doing what I should have done first — a formal literature review of the intersection of large language models and automated theorem proving.
Read More