Follow
Cambridge Yang
Cambridge Yang
MIT CSAIL
Verified email at mit.edu
Title
Cited by
Cited by
Year
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
942017
Compiler auto-vectorization with imitation learning
C Mendis, C Yang, Y Pu, D Amarasinghe, M Carbin
Advances in Neural Information Processing Systems 32, 2019
402019
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
22*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
82021
Verifying handcoded probabilistic inference procedures
E Atkinson, C Yang, M Carbin
arXiv preprint arXiv:1805.01863, 2018
72018
Computably Continuous Reinforcement-Learning Objectives are PAC-learnable
C Yang, M Littman, M Carbin
Proceedings of the AAAI Conference on Artificial Intelligence, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–6