Curtis von Veh

Identifiers

• name variant Curtis von Veh 0.60 · backfill

Papers (1)

1. Interactive Code Generation via Test-Driven User-Intent Formalization cs.SE · 2022 · author #8

Mentions

• 2208.05950 #8 · arxiv_oai · confidence 0.70 Curtis von Veh

Frequent Coauthors

• Aaditya Naik 1 shared papers
• Chenglong Wang 1 shared papers
• Georgios Sakkas 1 shared papers
• Jeevana Priya Inala 1 shared papers
• Jianfeng Gao 1 shared papers
• Madanlal Musuvathi 1 shared papers
• Piali Choudhury 1 shared papers
• Saikat Chakraborty 1 shared papers
• Sarah Fakhoury 1 shared papers
• Shuvendu K. Lahiri 1 shared papers