Cambridge Yang

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 8

Top Topics

Probabilistic Inference

Bucket Elimination

Reinforcement Learning

Top Venues

Proc. ACM Program. Lang.

Publications

Cambridge Yang, Michael L. Littman, Michael Carbin
Computably Continuous Reinforcement-Learning Objectives Are PAC-Learnable. AAAI (2023)
Cambridge Yang, Michael L. Littman, Michael Carbin
Computably Continuous Reinforcement-Learning Objectives are PAC-learnable. CoRR (2023)
Cambridge Yang, Michael L. Littman, Michael Carbin
On the (In)Tractability of Reinforcement Learning for LTL Objectives. IJCAI (2022)
Cambridge Yang, Michael L. Littman, Michael Carbin
Reinforcement Learning for General LTL Objectives Is Intractable. CoRR (2021)
Cambridge Yang, Eric Atkinson, Michael Carbin
Simplifying dependent reductions in the polyhedral model. Proc. ACM Program. Lang. 5 (POPL) (2021)
Cambridge Yang, Eric Atkinson, Michael Carbin
Simplifying Multiple-Statement Reductions with the Polyhedral Model. CoRR (2020)
Charith Mendis, Cambridge Yang, Yewen Pu, Saman P. Amarasinghe, Michael Carbin
Compiler Auto-Vectorization with Imitation Learning. NeurIPS (2019)
Eric Atkinson, Cambridge Yang, Michael Carbin
Verifying Handcoded Probabilistic Inference Procedures. CoRR (2018)