Get started
Author

Yanli Wang

Observed name: Wang, Yanli
Observed institution: Imperial College London
OpenAlex ID: A5157904352
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