Get started
Author

Lijun Yu

Observed name: Yu, Lijun
Observed institution: Google (United States)
OpenAlex ID: A5157974566
Can the Library Speak? Self-Advertised Method Selection for Formal Proving
2026 · Yuan, Xiaopeng, Wang, Suijin, et al. · arXiv (Cornell University)
PDF
Works count: 1
Citation count:
H-index:
I10-index:
Year
Topic
Type