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
Guoxiong Gao
Researcher
PaperLeanSearch v2: Global Premise Retrieval for Lean 4 Theorem ProvingAuthorship / preprint / 2026Zeming SunCo-authorship / ResearcherJiedong JiangCo-authorship / ResearcherYutong WangCo-authorship / ResearcherJingda XuCo-authorship / ResearcherPeihao WuCo-authorship / ResearcherBin DongCo-authorship / ResearcherBryan DaiCo-authorship / Researcher