| LTL2Action: Generalizing LTL Instructions for Multi-Task RL P Vaezipoor, AC Li, RAT Icarte, SA Mcilraith International Conference on Machine Learning, 10497-10508, 2021 | 86 | 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 | 48 | 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 | 24* | 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 | 16 | 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 | 16 | 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 | 13 | 2022 |
| 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 | 10 | 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 | 9 | 2020 |
| 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 |
| 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 | 1 | 2024 |
| Fast Matrix Multiplication Without Tears: A Constraint Programming Approach A Deza, C Liu, P Vaezipoor, EB Khalil arXiv preprint arXiv:2306.01097, 2023 | 1 | 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 | 1 | 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 |
| Report Cards: Qualitative Evaluation of Language Models Using Natural Language Summaries B Yang, F Cui, K Paster, J Ba, P Vaezipoor, S Pitis, MR Zhang arXiv preprint arXiv:2409.00844, 2024 | | 2024 |
| Contributions to Data-Driven Combinatorial Solvers P Vaezipoor University of Toronto (Canada), 2023 | | 2023 |
| Lifted Unit Propagation P Vaezipoor Applied Science: School of Computing Science, 2012 | | 2012 |
| Report Cards: Qualitative Evaluation of LLMs Using Natural Language Summaries B Yang, F Cui, K Paster, J Ba, P Vaezipoor, S Pitis, MR Zhang Workshop on Socially Responsible Language Modelling Research, 0 | | |
| 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, ... | | |
Sheila McIlraithProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
