I\c{s}il Dillig

Identifiers

• name variant I\c{s}il Dillig 0.60 · backfill

Papers (2)

1. Integer Reasoning Modulo Different Constants in SMT cs.LO · 2025 · author #6
2. Programming-by-Demonstration for Long-Horizon Robot Tasks cs.PL · 2023 · author #5

Mentions

• 2505.14998 #6 · arxiv_oai · confidence 0.70 I\c{s}il Dillig
• 2305.03129 #5 · arxiv_oai · confidence 0.70 I\c{s}il Dillig

Frequent Coauthors

• Alex Ozdemir 1 shared papers
• Alp Bassa 1 shared papers
• Clark Barrett 1 shared papers
• Elizaveta Pertseva 1 shared papers
• Joydeep Biswas 1 shared papers
• Kia Rahmani 1 shared papers
• Meghana Missula 1 shared papers
• Noah Patton 1 shared papers
• Shankara Pailoor 1 shared papers
• Sorawee Porncharoenwase 1 shared papers