Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
J Zhang
Observed name:
Jiashuo Zhang
Institution:
Shanghai Jiao Tong University
Observed institution:
Shanghai Jiao Tong University
OpenAlex ID:
A5029803133
ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
2025
·
Xiaoyang Liu
, Kangjie Bao
, et al.
·
neural information processing systems
·
1
PDF
Show more works
View as search
Works count:
1
Citation count:
1
H-index:
1
I10-index:
Year
Topic
Type
