Jingda Xu

Identifiers

No identifiers captured yet.

Papers (1)

1. LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving cs.IR · 2026 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Bin Dong 1 shared papers
• Bryan Dai 1 shared papers
• Guoxiong Gao 1 shared papers
• Jiedong Jiang 1 shared papers
• Peihao Wu 1 shared papers
• Yutong Wang 1 shared papers
• Zeming Sun 1 shared papers