Advancing Theorem Proving in LLMs Through Large-Scale Synthetic Data #1 Post by frednoodle » Sun, May 26, 2024, 7:31 AM UTC Advancing Theorem Proving in LLMs Through Large-Scale Synthetic Datahuggingface.co