Get started
Author

Jingda Xu

Observed name: Xu, Jingda
OpenAlex ID: A5136098601
LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving
2026 · Gao, Guoxiong, Sun, Zeming, et al. · arXiv (Cornell University) · 14
PDF
IQuest-Q1: Advancing Foundation Capabilities for Agentic CLI Systems
2026 · Yang, A. Jian, Huang, An, et al. · arXiv (Cornell University) · 1
PDF
Reap: Uncovering Monte Carlo proof search with a lightweight model
2026 · Wang, Yutong, Ren, Xuanzhi, et al. · arXiv (Cornell University)
PDF
Works count: 3
Citation count: 15
H-index: 1
I10-index: 1
Year
Topic
Type