Graph explorer

Research map

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

Vladimir Krsmanovic
Map detail
Vladimir Krsmanovic9 visible / 9 total nodes / 36 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-authorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipTopic signalAuthorshipAuthorshipAuthorshipVladimir KrsmanovicAVladimir KrsmanovicResearcherNatural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning ModelsWNatural Synthesis: Outp...preprint / 2026Frederik SchmittAFrederik SchmittResearcherMatthias CoslerAMatthias CoslerResearcherMohamed GhanemAMohamed GhanemResearcherBernd FinkbeinerABernd FinkbeinerResearcherNiklas MetzgerANiklas MetzgerResearcherJulian SiberAJulian SiberResearcherMachine LearningTMachine Learning49008 works
Person8 links

Vladimir Krsmanovic

Researcher