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
9 links
Wolfgang Grieskamp
Researcher
PaperCombining Mechanical and Agentic Specification Inference for MoveAuthorship / preprint / 2026Teng ZhangCo-authorship / ResearcherVineeth KashyapCo-authorship / ResearcherTopicProgramming LanguagesWorks on / 1239 worksTopicArtificial IntelligenceWorks on / 22915 worksTopicLogic in Computer ScienceWorks on / 2208 worksTopicSoftware EngineeringWorks on / 3620 worksPaperFast and Reliable Formal Verification of Smart Contracts with the Move ProverAuthorship / preprint / 2022