Yichen Yang

Yichen Yang

PhD in Computer Science


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.

  • Neurosymbolic methods
  • Programming language + machine learning
  • Game theory
  • PhD in Computer Science, 2018 - 2023

    Massachusetts Institute of Technology

  • BA & MEng in Information Engineering, 2014 - 2018

    University of Cambridge


(2022). On the Impact of Player Capability on Congestion Games. SAGT 2022.


(2021). Program Synthesis Guided Reinforcement Learning for Partially Observed Environments. NeurIPS 2021, Spotlight presentation; top 3% of submissions.

PDF Code

(2021). Equality Saturation for Tensor Graph Superoptimization. MLSys 2021.

PDF Code

(2020). Neurosymbolic Transformers for Multi-Agent Communication. NeurIPS 2020.

PDF Code

(2019). Correctness Verification of Neural Networks. NeurIPS 2019 Workshop on Machine Learning with Guarantees.

PDF Code