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

Posted 1 day ago by hhs
178 points

https://arxiv.org/abs/2405.14333

9 comments

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..