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
6 links
Hanrui Zhao
Researcher
PaperFrom LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares CertificatesAuthorship / preprint / 2026Zhengfeng YangCo-authorship / ResearcherRuobing ZuoCo-authorship / ResearcherGaolei HeCo-authorship / ResearcherJianlin WangCo-authorship / ResearcherTopicArtificial IntelligenceWorks on / 22915 works