Zeming Sun

Identifiers

• name variant Zeming Sun 0.60 · backfill

Papers (5)

1. On some open problems in commutative algebra resolved by Rethlas math.AC · 2026 · author #3
2. Optimal bend-and-break for foliations math.AG · 2026 · author #2
3. LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving cs.IR · 2026 · author #2
4. The Absolute Anabelian Geometry of Virtual Curves of Arbitrary Genus math.NT · 2026 · author #1
5. Automated Conjecture Resolution with Formal Verification cs.LG · 2026 · author #5

Mentions

• 2604.03789 #5 · arxiv_oai · confidence 0.70 Zeming Sun
• 2605.25259 #3 · arxiv_oai · confidence 0.70 Zeming Sun
• 2605.20754 #2 · arxiv_oai · confidence 0.70 Zeming Sun

Frequent Coauthors

• Jiedong Jiang 4 shared papers
• Bin Dong 2 shared papers
• Bryan Dai 2 shared papers
• Guoxiong Gao 2 shared papers
• Liang Xiao 2 shared papers
• Peihao Wu 2 shared papers
• Yuefeng Wang 2 shared papers
• Yutong Wang 2 shared papers
• Bin Wu 1 shared papers
• Haocheng Ju 1 shared papers
• Jiahong Yu 1 shared papers
• Jihao Liu 1 shared papers
• Jingda Xu 1 shared papers
• Leheng Chen 1 shared papers
• Ruochuan Liu 1 shared papers
• Shurui Liu 1 shared papers
• Wanyi He 1 shared papers
• Yixiao Li 1 shared papers
• Zichen Wang 1 shared papers