Yichen Yang

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 10

Top Topics

Congestion Games

Pure Nash Equilibrium

Program Synthesis

Agent Communication

Top Venues

Publications

Yichen Yang, Kai Jia, Martin C. Rinard
On the Impact of Player Capability on Congestion Games. SAGT (2022)
Kai Jia, Martin C. Rinard, Yichen Yang
Mixed Capability Games. CoRR (2022)
Yichen Yang, Kai Jia, Martin C. Rinard
On the Impact of Player Capability on Congestion Games. CoRR (2022)
Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin Rinard
Program Synthesis Guided Reinforcement Learning. CoRR (2021)
Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin Rinard, Armando Solar-Lezama
Neurosymbolic Transformers for Multi-Agent Communication. CoRR (2021)
Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments. NeurIPS (2021)
Yichen Yang, Phitchaya Mangpo Phothilimthana, Yisu Remy Wang, Max Willsey, Sudip Roy, Jacques Pienaar
Equality Saturation for Tensor Graph Superoptimization. MLSys (2021)
Yichen Yang, Mangpo Phitchaya Phothilimtha, Yisu Remy Wang, Max Willsey, Sudip Roy, Jacques Pienaar
Equality Saturation for Tensor Graph Superoptimization. CoRR (2021)
Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin Rinard, Armando Solar-Lezama
Neurosymbolic Transformers for Multi-Agent Communication. NeurIPS (2020)
Yichen Yang, Martin Rinard
Correctness Verification of Neural Networks. CoRR (2019)