Kevin Leahy

3 papers · 2023–2025 · 2 conferences · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🐝 Cross-Pollinator (11)

Conferences

L4DC (2) ICML (1)

Top co-authors

Zachary Serlin (3) Calin Belta (2) Makai Mann (2) Mehdi Kermanshah (1) Ho Chit Siu (1) Wenliang Liu (1) Ahmad Ahmad (1) Cristian-Ioan Vasile (1) Roberto Tron (1)

Keywords

communication policies (1) formal specification (1) multi-agent system (1)

Papers

Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards L4DC 2025

Run-Time Task Composition with Safety Semantics ICML 2024

CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications L4DC 2023