0

Weikun He

Papers
1

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
1papers

Authored papers

1

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

arXiv 2026

2026

Affiliations

No known affiliations.

Frequent co-authors

10

from 1 papers

Jia Li

researcher

1 shared paper

Jiawei Liu

1 shared paper

Junqi Liu

1 shared paper

Junqiao Zhao

1 shared paper

Lihong Zhi

1 shared paper

Marco Dos Santos

1 shared paper

Qiufeng Wang

1 shared paper

Ran Wang

1 shared paper

Wenda Li

1 shared paper

Yunzhou Xie

1 shared paper