LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation

Re-assign community