Vladimir Krsmanovic

Identifiers

• name variant Vladimir Krsmanovic 0.50 · backfill

Papers (1)

1. Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models cs.LG · 2026 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Bernd Finkbeiner 1 shared papers
• Frederik Schmitt 1 shared papers
• Julian Siber 1 shared papers
• Matthias Cosler 1 shared papers
• Mohamed Ghanem 1 shared papers
• Niklas Metzger 1 shared papers