Umut Yi\u{g}it Dural

Identifiers

• name variant Umut Yi\u{g}it Dural 0.60 · backfill

Papers (1)

1. Caesar: A Deductive Verifier for Probabilistic Programs cs.PL · 2026 · author #3

Mentions

• 2605.15827 #3 · arxiv_oai · confidence 0.70 Umut Yi\u{g}it Dural

Frequent Coauthors

• Benjamin Lucien Kaminski 1 shared papers
• Christoph Matheja 1 shared papers
• Darion Haase 1 shared papers
• Joost-Pieter Katoen 1 shared papers
• Kevin Batz 1 shared papers
• Philipp Schr\"oer 1 shared papers