Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Jiedong Jiang
Institution:
Peking University
Observed institution:
Peking University
OpenAlex ID:
A5109694215
A Semantic Search Engine for Mathlib4
2024
·
Guoxiong Gao
, Haocheng Ju
, et al.
·
Findings of the Association for Computational Linguistics: EMNLP (Findings of EMNLP)
·
3
PDF
Show more works
View as search
Works count:
1
Citation count:
3
H-index:
1
I10-index:
Year
Topic
Type
