| Equality saturation for tensor graph superoptimization Y Yang, P Phothilimthana, Y Wang, M Willsey, S Roy, J Pienaar Proceedings of Machine Learning and Systems 3, 255-268, 2021 | 64 | 2021 |
| Neurosymbolic transformers for multi-agent communication JP Inala, Y Yang, J Paulos, Y Pu, O Bastani, V Kumar, M Rinard, ... Advances in Neural Information Processing Systems 33, 13597-13608, 2020 | 30 | 2020 |
| Program synthesis guided reinforcement learning for partially observed environments Y Yang, JP Inala, O Bastani, Y Pu, A Solar-Lezama, M Rinard Advances in Neural Information Processing Systems 34, 29669-29683, 2021 | 28 | 2021 |
| Correctness verification of neural networks Y Yang, M Rinard NeurIPS 2019 Workshop on Machine Learning with Guarantees, 2019 | 16 | 2019 |
| On the impact of player capability on congestion games Y Yang, K Jia, M Rinard International Symposium on Algorithmic Game Theory, 311-328, 2022 | 2 | 2022 |
| Emergence of Locally Suboptimal Behavior in Finitely Repeated Games Y Yang, M Rinard arXiv preprint arXiv:2303.16806, 2023 | | 2023 |
| Player Capability and Locally Sub-Optimal Behavior in Strategic Games Y Yang Massachusetts Institute of Technology, 2023 | | 2023 |
| Mixed Capability Games K Jia, M Rinard, Y Yang arXiv preprint arXiv:2208.04516, 2022 | | 2022 |
martin rinardMITVerified email at lcs.mit.edu
