Yichen Yang

12 papers A* 2B 1Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2023 J jnl
Emergence of Locally Suboptimal Behavior in Finitely Repeated Games.
CoRR
Yichen Yang, Martin C. Rinard
2023 — —
Player Capability and Locally Sub-Optimal Behavior in Strategic Games
Yichen Yang
2022 J jnl
Mixed Capability Games.
CoRR
Kai Jia, Martin C. Rinard, Yichen Yang
2022 B conf
On the Impact of Player Capability on Congestion Games.
SAGT
Yichen Yang, Kai Jia, Martin C. Rinard
2022 J jnl
On the Impact of Player Capability on Congestion Games.
CoRR
Yichen Yang, Kai Jia, Martin C. Rinard
2021 — conf
Equality Saturation for Tensor Graph Superoptimization.
MLSys
Yichen Yang, Phitchaya Mangpo Phothilimthana, Yisu Remy Wang, Max Willsey, Sudip Roy, Jacques A. Pienaar
2021 J jnl
Equality Saturation for Tensor Graph Superoptimization.
CoRR
Yichen Yang, Mangpo Phitchaya Phothilimtha, Yisu Remy Wang, Max Willsey, Sudip Roy, Jacques A. Pienaar
2021 J jnl
Neurosymbolic Transformers for Multi-Agent Communication.
CoRR
Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama
2021 A* conf
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments.
NeurIPS
Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard
2021 J jnl
Program Synthesis Guided Reinforcement Learning.
CoRR
Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard
2020 A* conf
Neurosymbolic Transformers for Multi-Agent Communication.
NeurIPS
Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama
2019 J jnl
Correctness Verification of Neural Networks.
CoRR
Yichen Yang, Martin C. Rinard