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
Frederik Schmitt
Researcher
PaperNatural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning ModelsAuthorship / preprint / 2026Matthias CoslerCo-authorship / ResearcherBernd FinkbeinerCo-authorship / ResearcherNiklas MetzgerCo-authorship / ResearcherJulian SiberCo-authorship / ResearcherVladimir KrsmanovicCo-authorship / ResearcherMohamed GhanemCo-authorship / ResearcherTopicMachine LearningWorks on / 49008 works