Yichen Yang

According to our database, Yichen Yang authored at least 9 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Emergence of Locally Suboptimal Behavior in Finitely Repeated Games.

Yichen Yang, Martin C. Rinard

CoRR, 2023

2022

Mixed Capability Games.

Kai Jia, Martin C. Rinard, Yichen Yang

CoRR, 2022

On the Impact of Player Capability on Congestion Games.

Yichen Yang, Kai Jia, Martin C. Rinard

Proceedings of the Algorithmic Game Theory - 15th International Symposium, 2022

2021

Program Synthesis Guided Reinforcement Learning.

Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard

CoRR, 2021

Equality Saturation for Tensor Graph Superoptimization.

Yichen Yang, Mangpo Phitchaya Phothilimtha, Yisu Remy Wang, Max Willsey, Sudip Roy, Jacques Pienaar

CoRR, 2021

Program Synthesis Guided Reinforcement Learning for Partially Observed Environments.

Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Equality Saturation for Tensor Graph Superoptimization.

Yichen Yang, Phitchaya Mangpo Phothilimthana, Yisu Remy Wang, Max Willsey, Sudip Roy, Jacques Pienaar

Proceedings of Machine Learning and Systems 2021, 2021

2020

Neurosymbolic Transformers for Multi-Agent Communication.

Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

2019

Correctness Verification of Neural Networks.

Yichen Yang, Martin C. Rinard

CoRR, 2019