Author

Zeming Sun

Observed name: Sun, Zeming

Institutions: Peking University, Kyoto University, Westlake University, Peking University International Hospital, Research Institute for Mathematical Sciences, Kyoto University

Observed institutions: Peking University, Kyoto University, Westlake University, Peking University International Hospital, Research Institute for Mathematical Sciences, Kyoto University

OpenAlex ID: A5133081057

Automated Conjecture Resolution with Formal Verification

2026 · Haocheng Ju, Guoxiong Gao, et al. · SuperIntelligence - Robotics - Safety & Alignment

Constructing Rational Curves via Jets on Projective Varieties with Non-Nef Canonical Bundle

2026 · Dong, Bin, Gao, Guoxiong, et al. · arXiv (Cornell University)

Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

2026 · Liu, Jihao, Gao, Guoxiong, et al. · arXiv (Cornell University)

On some open problems in commutative algebra resolved by Rethlas

2026 · Jiang, Jiedong, Li, Yixiao, et al. · arXiv (Cornell University)

Optimal bend-and-break for foliations

2026 · Liu, Jihao, Sun, Zeming, et al. · arXiv (Cornell University)

LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving

2026 · Gao, Guoxiong, Sun, Zeming, et al. · arXiv (Cornell University)

The Absolute Anabelian Geometry of Virtual Curves of Arbitrary Genus

2026 · Sun, Zeming · arXiv (Cornell University)

Works count: 7

Citation count:

H-index:

I10-index: