Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
10 links
Jingda Xu
Researcher
PaperLeanSearch v2: Global Premise Retrieval for Lean 4 Theorem ProvingAuthorship / preprint / 2026Jiedong JiangCo-authorship / ResearcherYutong WangCo-authorship / ResearcherGuoxiong GaoCo-authorship / ResearcherZeming SunCo-authorship / ResearcherPeihao WuCo-authorship / ResearcherBryan DaiCo-authorship / ResearcherBin DongCo-authorship / Researcher