Yunwei Dong

Identifiers

No identifiers captured yet.

Papers (2)

1. Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers cs.LO · 2026 · author #2
2. Runtime Execution Traces Guided Automated Program Repair with Multi-Agent Debate cs.SE · 2026 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Manqing Zhang 2 shared papers
• Bingxu Xiao 1 shared papers
• Bo Shen 1 shared papers
• Jiaqing Wu 1 shared papers
• Lingru Zhou 1 shared papers
• Tong Wu 1 shared papers
• Yepang Liu 1 shared papers