Dipesh Kafle

Identifiers

No identifiers captured yet.

Papers (1)

1. Certified Program Synthesis with a Multi-Modal Verifier cs.SE · 2026 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• George P\^irlea 1 shared papers
• Ilya Sergey 1 shared papers
• Peter M\"uller 1 shared papers
• Qiyuan Zhao 1 shared papers
• Vitaly Kurin 1 shared papers
• Vladimir Gladshtein 1 shared papers
• Yueyang Feng 1 shared papers