Yichen Yang
Yichen Yang
Home
Publications
Publications
Type
Conference paper
Date
2023
2022
2021
2020
2019
2013
Yichen Yang
(2023).
Player Capability and Locally Suboptimal Behavior in Strategic Games
.
PhD Thesis
.
PDF
Yichen Yang
,
Kai Jia
,
Martin Rinard
(2022).
On the Impact of Player Capability on Congestion Games
.
SAGT 2022
.
PDF
Yichen Yang
,
Jeevana Priya Inala
,
Osbert Bastani
,
Yewen Pu
,
Armando Solar-Lezama
,
Martin Rinard
(2021).
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments
.
NeurIPS 2021
,
Spotlight presentation; top 3% of submissions
.
PDF
Code
Yichen Yang
,
Phitchaya Mangpo Phothilimtha
,
Yisu Remy Wang
,
Max Willsey
,
Sudip Roy
,
Jacques Pienaar
(2021).
Equality Saturation for Tensor Graph Superoptimization
.
MLSys 2021
.
PDF
Code
Jeevana Priya Inala
,
Yichen Yang
,
James Paulos
,
Yewen Pu
,
Osbert Bastani
,
Vijay Kumar
,
Martin Rinard
,
Armando Solar-Lezama
(2020).
Neurosymbolic Transformers for Multi-Agent Communication
.
NeurIPS 2020
.
PDF
Code
Yichen Yang
,
Martin Rinard
(2019).
Correctness Verification of Neural Networks
.
NeurIPS 2019 Workshop on Machine Learning with Guarantees
.
PDF
Code
Yichen Yang
,
Robert Ford
(2013).
An example conference paper
. In
ICW
.
PDF
Cite
Project
Slides
Cite
×