Author

Weikun He

Observed name: He, Weikun

Institution: Academy of Mathematics and Systems Science

Observed institution: Academy of Mathematics and Systems Science

OpenAlex ID: A5123499395

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

2026 · Liu, Junqi, Zhou, Zihao, et al. · arXiv (Cornell University)

Works count: 1

Citation count:

H-index:

I10-index: