9 citations · 21 across the 5 of their papers we have counts for
5 papers
Emergence of Locally Suboptimal Behavior in Finitely Repeated Games
Yichen Yang, Martin Rinard
We study the emergence of locally suboptimal behavior in finitely repeated games. Locally suboptimal behavior refers to players play suboptimally in some rounds of the repeated gam…
On the Impact of Player Capability on Congestion Games
Yichen Yang, Kai Jia, Martin Rinard
We study the impact of player capability on social welfare in congestion games. We introduce a new game, the Distance-bounded Network Congestion game (DNC), as the basis of our stu…
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments
Yichen David Yang, Jeevana Priya Inala, Osbert Bastani +3
A key challenge for reinforcement learning is solving long-horizon planning problems. Recent work has leveraged programs to guide reinforcement learning in these settings. However,…
Neurosymbolic Transformers for Multi-Agent Communication
Jeevana Priya Inala, Yichen Yang, James Paulos +5
We study the problem of inferring communication structures that can solve cooperative multi-agent planning problems while minimizing the amount of communication. We quantify the am…
Correctness Verification of Neural Networks
Yichen Yang, Martin Rinard
We present a novel framework for specifying and verifying correctness globally for neural networks on perception tasks. Most previous works on neural network verification for perce…