Get started
Author

Jiyuan Tan

Observed name: Tan, Jiyuan
Institution: Stanford University
Observed institution: Stanford University
OpenAlex ID: A5159598069
PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean
2026 · Tan, Jiyuan, Blanchet, Jose, et al. · arXiv (Cornell University) · 1
PDF
Works count: 1
Citation count: 1
H-index: 1
I10-index:
Year
Topic
Type