From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 11 more institutions on single bylines are not listed.

Fields, topics and concepts

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

📚 Shelves 3Computer Science · 2 works Artificial Intelligence · 2 works Computational Theory and Mathematics · 2 works

🧭 Topics 1Reasoning · 2 works

Works by year

2020s

20252 papers

Papers

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.

Co-authors here

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

Cited by

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

Updated 3 November 2026

This page in Markdown → https://md.research.elamur.ai/free/en/authors/zhicheng-jiang/

🧑‍🔬 Zhicheng Jiang

🏛️ Affiliations

🧭 Fields, topics and concepts

📅 Works by year

2020s

📄 Papers

🤝 Co-authors here

🔗 Cited by

Zhicheng Jiang

Affiliations

Fields, topics and concepts

Works by year

Papers

Co-authors here

Cited by