conftrace_

Yu Tang

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

Achievements

Jump to papers ↓

+1 more ↓

🌍 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