Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
zhihao yang
Observed names:
Yang, ZhiHao,
Yang, Zhihao,
yang, zhihao,
杨, 志豪
Institutions:
Chinese Academy of Sciences,
Institute of Software,
University of Chinese Academy of Sciences
Observed institutions:
Chinese Academy of Sciences,
Institute of Software,
University of Chinese Academy of Sciences
OpenAlex ID:
A5125166892
LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification
2026
·
Cao, Zhipeng
, Song, Peiyang
, et al.
·
arXiv (Cornell University)
PDF
熔钥秘境KF高校青训:离火计划
2026
·
杨, 志豪
·
Zenodo (CERN European Organization for Nuclear Research)
自底向上,高阶累加笔记,Python
2026
·
Yang, ZhiHao
·
Zenodo (CERN European Organization for Nuclear Research)
Combinatorial and Asymptotic Analysis of Higher-Order Summations
2026
·
Yang, ZhiHao
·
Zenodo (CERN European Organization for Nuclear Research)
Combinatorial and Asymptotic Analysis of Higher-Order Summations
2026
·
Yang, ZhiHao
·
Zenodo (CERN European Organization for Nuclear Research)
online appendix for JPBM
2026
·
yang, zhihao
·
Zenodo (CERN European Organization for Nuclear Research)
Show more works
View as search
Works count:
6
Citation count:
H-index:
I10-index:
Year
Topic
Type
