Get started
Author

Jerry Wang

Observed name: Wang, Jerry
OpenAlex ID: A5157949184
Can the Library Speak? Self-Advertised Method Selection for Formal Proving
2026 · Yuan, Xiaopeng, Wang, Suijin, et al. · arXiv (Cornell University) · 1
PDF
Large-scale Repository Engineering via Agent-Native Reusable Code Primitives
2026 · Jin, Haibo, Kuang, Peng, et al. · arXiv (Cornell University) · 1
PDF
Works count: 2
Citation count: 2
H-index: 1
I10-index:
Year
Topic
Type