Lifted Unit Propagation for Effective Grounding - Pashootan Vaezipoor; David G. Mitchell; Maarten Mariën (CoRR, 2011)

Learning Branching Heuristics for Propositional Model Counting. - Pashootan Vaezipoor; Gil Lederman; Yuhuai Wu; Chris J. Maddison; Roger B. Grosse; Edward A. Lee; Sanjit A. Seshia; Fahiem Bacchus (CoRR, 2020)

Learning Branching Heuristics for Propositional Model Counting. - Pashootan Vaezipoor; Gil Lederman; Yuhuai Wu; Chris J. Maddison; Roger B. Grosse; Sanjit A. Seshia; Fahiem Bacchus (AAAI, 2021)

LTL2Action: Generalizing LTL Instructions for Multi-Task RL. - Pashootan Vaezipoor; Andrew C. Li; Rodrigo Toro Icarte; Sheila A. McIlraith (ICML, 2021)

Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework. - Elias B. Khalil; Pashootan Vaezipoor; Bistra Dilkina (AAAI, 2022)

Augment with Care: Contrastive Learning for Combinatorial Problems. - Haonan Duan 002; Pashootan Vaezipoor; Max B. Paulus; Yangjun Ruan; Chris J. Maddison (ICML, 2022)

Learning to Follow Instructions in Text-Based Games. - Mathieu Tuli; Andrew C. Li; Pashootan Vaezipoor; Toryn Q. Klassen; Scott Sanner; Sheila A. McIlraith (NeurIPS, 2022)

Augment with Care: Contrastive Learning for the Boolean Satisfiability Problem. - Haonan Duan 002; Pashootan Vaezipoor; Max B. Paulus; Yangjun Ruan; Chris J. Maddison (CoRR, 2022)

Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Tasks. - Andrew C. Li; Pashootan Vaezipoor; Rodrigo Toro Icarte; Sheila A. McIlraith (CoRR, 2022)

Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines. - Andrew C. Li; Zizhao Chen; Pashootan Vaezipoor; Toryn Q. Klassen; Rodrigo Toro Icarte; Sheila A. McIlraith (CoRR, 2022)

Fast Matrix Multiplication Without Tears: A Constraint Programming Approach. - Arnaud Deza; Chang Liu; Pashootan Vaezipoor; Elias B. Khalil (CP, 2023)

Contributions to Data-Driven Combinatorial Solvers - Pashootan Vaezipoor (2023)

Reward Machines for Deep RL in Noisy and Uncertain Environments. - Andrew C. Li; Zizhao Chen; Toryn Q. Klassen; Pashootan Vaezipoor; Rodrigo Toro Icarte; Sheila A. McIlraith (NeurIPS, 2024)

Report Cards: Qualitative Evaluation of Language Models Using Natural Language Summaries. - Blair Yang; Fuyang Cui; Keiran Paster; Jimmy Ba; Pashootan Vaezipoor; Silviu Pitis; Michael R. Zhang (CoRR, 2024)

LegalLens Shared Task 2024: Legal Violation Identification in Unstructured Text. - Ben Hagag; Liav Harpaz; Gil Semo; Dor Bernsohn; Rohit Saha; Pashootan Vaezipoor; Kyryl Truskovskyi; Gerasimos Spanakis (CoRR, 2024)

LLMs and the Abstraction and Reasoning Corpus: Successes, Failures, and the Importance of Object-based Representations. - Yudong Xu 001; Wenhao Li; Pashootan Vaezipoor; Scott Sanner; Elias Boutros Khalil (Trans. Mach. Learn. Res., 2024)