Yu Tang

3 papers · 2019–2021 · 3 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (3) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (15) 🚀 Conference Pioneer

Conferences

AAAI (1) ACL (1) IJCNLP (1)

Top co-authors

Long Zhou (2) Muyun Yang (2) Furu Wei (2) Ming Zhou (2) Shujie LIU (2) Ambrosio Blanco (2) Fu Song (1) Zhiwu Xu (1) Taolue Chen (1) Yedi Zhang (1)

Keywords

probabilistic modeling (1) game theory (1) probabilistic logic (1) formal methods (1) strategic reasoning (1) stochastic game (1) temporal logic (1) model checking (1) multi-agent system (1) alternating-time mu calculus (1) strategic abilities (1) alternating-time mu-calculus (1)

Papers

Grammar-Based Patches Generation for Automated Program Repair ACL 2021

Grammar-Based Patches Generation for Automated Program Repair IJCNLP 2021

Probabilistic Alternating-Time µ-Calculus AAAI 2019