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
7 links
Shixin Sun
Researcher
Astrid KlipfelCo-authorship / ResearcherOndřej KuželkaCo-authorship / ResearcherYuanhong WangCo-authorship / ResearcherYi ChangCo-authorship / ResearcherPaperA Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting QuantifiersAuthorship / preprint / 2026TopicLogic in Computer ScienceWorks on / 2208 worksTopicArtificial IntelligenceWorks on / 22915 works