0

Yu Xuejun

Papers
1

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
1papers

Authored papers

1

Mathesis: Towards Formal Theorem Proving from Natural Languages

arXiv 2025

2025

Affiliations

No known affiliations.

Frequent co-authors

10

from 1 papers

Austen Jeremy Sugiarto

1 shared paper

Claudia Beth Ong

1 shared paper

Dongcai Lu

1 shared paper

Haoxiong Liu

1 shared paper

Huan Cao

1 shared paper

Jiacheng Sun

1 shared paper

Jianyuan Zhong

1 shared paper

Jing Xiong

1 shared paper

Pengyi Zhai

1 shared paper

Qiang Xu

1 shared paper
Yu Xuejun - AI research profile