Vladimir Krsmanovic
Identifiers
- name variant Vladimir Krsmanovic 0.50 · backfill
Papers (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