~/publications

Publications

From structured prediction and NER, through math reasoning and RL fine-tuning, to Lean 4 theorem proving and LLM agents. Also on Google Scholar.

2026

2025

Tech report 2025

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

Jiangjie Chen, Wenxiang Chen, …, Allan Jie, …, Thomas Hanwen Zhu

ByteDance Seed AI4Math · alphabetical author order

Tech report 2025 ★ IMO 2025 · silver-level

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

Luoxin Chen, Jinming Gu, …, Allan Jie, …, Thomas Hanwen Zhu

ByteDance Seed AI4Math · alphabetical author order

2024

2023

2022

2021

2020

2019

2018

2017

2015

2014

* equal contribution · long author lists are abbreviated — click the count to expand

esc
↑↓ navigate ↵ open