Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Niklas Metzger
Map detail
Niklas Metzger13 visible / 13 total nodes / 47 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Co-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipAuthorshipAuthorshipWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipNiklas MetzgerANiklas MetzgerResearcherNatural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning ModelsWNatural Synthesis: Outp...preprint / 2026Frederik SchmittAFrederik SchmittResearcherMatthias CoslerAMatthias CoslerResearcherJulian SiberAJulian SiberResearcherVladimir KrsmanovicAVladimir KrsmanovicResearcherMohamed GhanemAMohamed GhanemResearcherBernd FinkbeinerABernd FinkbeinerResearcherConservative Hybrid Automata from Development ArtifactsWConservative Hybrid Aut...preprint / 2022Attention Flows for General TransformersWAttention Flows for Gen...preprint / 2022Machine LearningTMachine Learning49008 worksInformation Flow Guided Synthesis (Full Version)WInformation Flow Guided...preprint / 2022Explaining Hyperproperty ViolationsWExplaining Hyperpropert...preprint / 2022
Person12 links

Niklas Metzger

Researcher