0

Runan Wang

Papers
1

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
1papers

Authored papers

1

FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving

arXiv 2023

2023

Affiliations

No known affiliations.

Frequent co-authors

10

from 1 papers

Cheng Qin

1 shared paper

Chenyang Mao

1 shared paper

Dengfeng Yue

1 shared paper

Fangzhen Zhu

1 shared paper

Jia Zou

1 shared paper

Na Zhu

1 shared paper

Qike Huang

1 shared paper

Shaorong Xie

1 shared paper

Tuo Leng

1 shared paper

Xiangfeng Luo

1 shared paper