Allan Jie

Allan Jie has 3 papers in our library, in 2025, most of them on Reasoning; often with Chenggang Li, Luoxin Chen, Xiaoran Jin.

3 papers in our library · 2025

The profile is the library's match of the name; two people with one name are not always told apart.

Fields, topics and concepts

Of its works in our library, with the number of works on each.

The most cited first (OpenAlex and our library).

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving (2025 · 46 citations)
Natural-language LLMs reason well on math tasks, but checking their proofs is hard, which limits reinforcement learning for theorem proving.
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience (2025 · 19 citations)
Seed-Prover 1.5 (ByteDance Seed AI4Math) asks whether formal theorem proving in Lean can match the progress of natural-language LLM proving without large compute costs.
Solving Formal Math Problems by Decomposition and Iterative Reflection (2025 · 16 citations)
Off-the-shelf large language models reason well about mathematics in natural language but struggle to write formal Lean 4 proofs.

12 of 18 co-authors with a page, the most papers together first.

Papers of our library cite their works 80 times (of the 149,439 papers whose bibliographies we read); 21 citing papers with a page here →.

Updated 3 November 2026