Correctness Verification of Neural Networks. - Yichen Yang 008; Martin C. Rinard (CoRR, 2019)

Neurosymbolic Transformers for Multi-Agent Communication. - Jeevana Priya Inala; Yichen Yang 008; James Paulos; Yewen Pu; Osbert Bastani; Vijay Kumar 001; Martin C. Rinard; Armando Solar-Lezama (NeurIPS, 2020)

Equality Saturation for Tensor Graph Superoptimization. - Yichen Yang 008; Phitchaya Mangpo Phothilimthana; Yisu Remy Wang; Max Willsey; Sudip Roy 002; Jacques Pienaar (MLSys, 2021)

Program Synthesis Guided Reinforcement Learning for Partially Observed Environments. - Yichen Yang 008; Jeevana Priya Inala; Osbert Bastani; Yewen Pu; Armando Solar-Lezama; Martin C. Rinard (NeurIPS, 2021)

Equality Saturation for Tensor Graph Superoptimization. - Yichen Yang 008; Mangpo Phitchaya Phothilimtha; Yisu Remy Wang; Max Willsey; Sudip Roy 002; Jacques Pienaar (CoRR, 2021)

Program Synthesis Guided Reinforcement Learning. - Yichen Yang 008; Jeevana Priya Inala; Osbert Bastani; Yewen Pu; Armando Solar-Lezama; Martin C. Rinard (CoRR, 2021)

On the Impact of Player Capability on Congestion Games. - Yichen Yang 008; Kai Jia; Martin C. Rinard (SAGT, 2022)

Mixed Capability Games. - Kai Jia; Martin C. Rinard; Yichen Yang 008 (CoRR, 2022)

Emergence of Locally Suboptimal Behavior in Finitely Repeated Games. - Yichen Yang 008; Martin C. Rinard (CoRR, 2023)

Player Capability and Locally Sub-Optimal Behavior in Strategic Games - Yichen Yang 008 (2023)