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 | 95 | 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 | 44 | 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 | 27* | 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 |