0

Shuo Xu

Papers
1

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
1papers

Authored papers

1

LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation

arXiv 2025

2025

Affiliations

No known affiliations.

Frequent co-authors

8

from 1 papers

Chun Cao

1 shared paper

Jiakun Zhang

1 shared paper

Jiarui Zhang

1 shared paper

Jingwei Xu

1 shared paper

Junyu Lai

1 shared paper

Taolue Chen

1 shared paper

Yao Yang

1 shared paper

Zihang Wang

1 shared paper