ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2026 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2512.17260
  4. Cited By
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

19 December 2025
Jiangjie Chen
Wenxiang Chen
Jiacheng Du
Jinyi Hu
Zhicheng Jiang
Allan Jie
Xiaoran Jin
Xing Jin
Chenggang Li
Wenlei Shi
Zhihong Wang
Mingxuan Wang
Chenrui Wei
Shufa Wei
Huajian Xin
Fan Yang
Weihao Gao
Zheng Yuan
Tianyang Zhan
Zeyu Zheng
Tianxi Zhou
Thomas Hanwen Zhu
    AIMatLRM
ArXiv (abs)PDFHTMLHuggingFace (47 upvotes)Github (360★)

Papers citing "Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience"

0 / 0 papers shown

No papers found

Page 1 of 0