DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data

Posted 1 year ago by hhs
186 points

https://arxiv.org/abs/2405.14333

9 comments

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..