DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data Paper • 2405.14333 • Published May 23 • 35
Leveraging Training Data in Few-Shot Prompting for Numerical Reasoning Paper • 2305.18170 • Published May 29, 2023 • 2