LTL2Action: Generalizing LTL Instructions for Multi-Task RL P Vaezipoor, AC Li, RAT Icarte, SA Mcilraith International Conference on Machine Learning, 10497-10508, 2021 | 68 | 2021 |
Llms and the abstraction and reasoning corpus: Successes, failures, and the importance of object-based representations Y Xu, W Li, P Vaezipoor, S Sanner, EB Khalil arXiv preprint arXiv:2305.18354, 2023 | 22 | 2023 |
Augment with care: Contrastive learning for combinatorial problems H Duan, P Vaezipoor, MB Paulus, Y Ruan, C Maddison International Conference on Machine Learning, 5627-5642, 2022 | 22* | 2022 |
Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework EB Khalil, P Vaezipoor, B Dilkina Proceedings of the AAAI Conference on Artificial Intelligence, 2021 | 15 | 2021 |
Learning Branching Heuristics for Propositional Model Counting P Vaezipoor, G Lederman, Y Wu, CJ Maddison, R Grosse, SA Seshia, ... Proceedings of the AAAI Conference on Artificial Intelligence, 2021 | 15 | 2021 |
Lifted Unit Propagation for Effective Grounding P Vaezipoor, D Mitchell, M Mariën 19th International Conference on Applications of Declarative Programming and …, 2011 | 14 | 2011 |
Learning to follow instructions in text-based games M Tuli, A Li, P Vaezipoor, T Klassen, S Sanner, S McIlraith Advances in Neural Information Processing Systems 35, 19441-19455, 2022 | 11 | 2022 |
Learning Clause Deletion Heuristics with Reinforcement Learning P Vaezipoor, G Lederman, Y Wu, R Grosse, F Bacchus 5th Conference on Artificial Intelligence and Theorem Proving, 2020 | 7 | 2020 |
Noisy symbolic abstractions for deep RL: A case study with reward machines AC Li, Z Chen, P Vaezipoor, TQ Klassen, RT Icarte, SA McIlraith arXiv preprint arXiv:2211.10902, 2022 | 6 | 2022 |
Instruction following in text-based games M Tuli, AC Li, P Vaezipoor, TQ Klassen, S Sanner, SA McIlraith The Third Wordplay: When Language Meets Games Workshop, 2022 | 3 | 2022 |
Exploring Long-Horizon Reasoning with Deep RL in Combinatorially Hard Tasks AC Li, P Vaezipoor, RT Icarte, SA McIlraith Decision Awareness in Reinforcement Learning Workshop at ICML 2022, 2022 | 1 | 2022 |
Reward Machines for Deep RL in Noisy and Uncertain Environments AC Li, Z Chen, TQ Klassen, P Vaezipoor, RT Icarte, SA McIlraith arXiv preprint arXiv:2406.00120, 2024 | | 2024 |
Fast Matrix Multiplication Without Tears: A Constraint Programming Approach A Deza, C Liu, P Vaezipoor, EB Khalil arXiv preprint arXiv:2306.01097, 2023 | | 2023 |
Contributions to Data-Driven Combinatorial Solvers P Vaezipoor University of Toronto (Canada), 2023 | | 2023 |
Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Tasks AC Li, P Vaezipoor, RT Icarte, SA McIlraith arXiv preprint arXiv:2206.01812, 2022 | | 2022 |
Lifted Unit Propagation P Vaezipoor Applied Science: School of Computing Science, 2012 | | 2012 |
Supplementary Material to Learning to Follow Instructions in Text-Based Games M Tuli, AC Li, P Vaezipoor, TQ Klassen, S Sanner, SA McIlraith | | |
Neuro#: A Distribution Tailored Model Counter P Vaezipoor, G Lederman, Y Wu, CJ Maddison, R Grosse, SA Seshia, ... | | |