3 ms·Advancing Theorem Proving in LLMs Through Large-Scale Synthetic Data3 points by frednoodle 2y ago