| Drona: A framework for safe distributed mobile robotics A Desai, I Saha, J Yang, S Qadeer, SA Seshia Proceedings of the 8th International Conference on Cyber-Physical Systems …, 2017 | 98 | 2017 |
| Compiler auto-vectorization with imitation learning C Mendis, C Yang, Y Pu, D Amarasinghe, M Carbin Advances in Neural Information Processing Systems 32, 2019 | 49 | 2019 |
| On the (In)Tractability of Reinforcement Learning for LTL Objectives C Yang, ML Littman, M Carbin Proceedings of the Thirty-First International Joint Conference on Artificial …, 2022 | 34* | 2022 |
| Simplifying dependent reductions in the polyhedral model C Yang, E Atkinson, M Carbin Proceedings of the ACM on Programming Languages 5 (POPL), 1-33, 2021 | 10 | 2021 |
| Verifying handcoded probabilistic inference procedures E Atkinson, C Yang, M Carbin arXiv preprint arXiv:1805.01863, 2018 | 8 | 2018 |
| Computably Continuous Reinforcement-Learning Objectives are PAC-learnable C Yang, M Littman, M Carbin Proceedings of the AAAI Conference on Artificial Intelligence, 2023 | | 2023 |
