Yichen Yang

Yichen Yang

PhD in Computer Science

MIT

About me

I received my PhD in Computer Science from MIT, advised by Martin Rinard. My research interest includes programming languages, machine learning, and game theory.

Prior to joining MIT, I finished my B.A. and M.Eng. in Information Engineering at University of Cambridge.

Interests
  • Neurosymbolic methods
  • Programming language + machine learning
  • Game theory
Education

  • PhD in Computer Science, 2018 - 2023

    Massachusetts Institute of Technology

  • BA & MEng in Information Engineering, 2014 - 2018

    University of Cambridge

Publications

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