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
8 links
Matthias Cosler
Researcher
PaperNatural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning ModelsAuthorship / preprint / 2026Bernd FinkbeinerCo-authorship / ResearcherFrederik SchmittCo-authorship / ResearcherNiklas MetzgerCo-authorship / ResearcherJulian SiberCo-authorship / ResearcherVladimir KrsmanovicCo-authorship / ResearcherMohamed GhanemCo-authorship / ResearcherTopicMachine LearningWorks on / 49008 works