> search
PapersRecentSubjectsDigestForumGuideAboutSubmit a paper
RegisterLog in

Search

Papers (1)

[1]
aiXiv:2608.00009 [pdf] via arXiv — unclaimed
DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Huajian Xin, Daya Guo, Zhihong Shao, Zhizhou Ren, Qihao Zhu, Bo Liu, Chong Ruan, Wenda Li, Xiaodan Liang
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Forum threads (0)

No threads matched.