Pashootan Vaezipoor

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 15

Top Topics

Combinatorial Problems

Bayesian Reinforcement Learning

Matrix Multiplication

Top Venues

Publications

Arnaud Deza, Chang Liu, Pashootan Vaezipoor, Elias B. Khalil
Fast Matrix Multiplication Without Tears: A Constraint Programming Approach. CoRR (2023)
Arnaud Deza, Chang Liu, Pashootan Vaezipoor, Elias B. Khalil
Fast Matrix Multiplication Without Tears: A Constraint Programming Approach. CP (2023)
Yudong Xu, Wenhao Li, Pashootan Vaezipoor, Scott Sanner, Elias B. Khalil
LLMs and the Abstraction and Reasoning Corpus: Successes, Failures, and the Importance of Object-based Representations. CoRR (2023)
Mathieu Tuli, Andrew C. Li, Pashootan Vaezipoor, Toryn Q. Klassen, Scott Sanner, Sheila A. McIlraith
Learning to Follow Instructions in Text-Based Games. NeurIPS (2022)
Andrew C. Li, Pashootan Vaezipoor, Rodrigo Toro Icarte, Sheila A. McIlraith
Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Tasks. CoRR (2022)
Mathieu Tuli, Andrew C. Li, Pashootan Vaezipoor, Toryn Q. Klassen, Scott Sanner, Sheila A. McIlraith
Learning to Follow Instructions in Text-Based Games. CoRR (2022)
Haonan Duan, Pashootan Vaezipoor, Max B. Paulus, Yangjun Ruan, Chris J. Maddison
Augment with Care: Contrastive Learning for the Boolean Satisfiability Problem. CoRR (2022)
Elias B. Khalil, Pashootan Vaezipoor, Bistra Dilkina
Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework. AAAI (2022)
Andrew C. Li, Zizhao Chen, Pashootan Vaezipoor, Toryn Q. Klassen, Rodrigo Toro Icarte, Sheila A. McIlraith
Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines. CoRR (2022)
Haonan Duan, Pashootan Vaezipoor, Max B. Paulus, Yangjun Ruan, Chris J. Maddison
Augment with Care: Contrastive Learning for Combinatorial Problems. ICML (2022)
Pashootan Vaezipoor, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith
LTL2Action: Generalizing LTL Instructions for Multi-Task RL. ICML (2021)
Pashootan Vaezipoor, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith
LTL2Action: Generalizing LTL Instructions for Multi-Task RL. CoRR (2021)
Elias B. Khalil, Pashootan Vaezipoor, Bistra Dilkina
Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework. CoRR (2021)
Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Sanjit A. Seshia, Fahiem Bacchus
Learning Branching Heuristics for Propositional Model Counting. AAAI (2021)
Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Edward A. Lee, Sanjit A. Seshia, Fahiem Bacchus
Learning Branching Heuristics for Propositional Model Counting. CoRR (2020)
Pashootan Vaezipoor, David G. Mitchell, Maarten Mariën
Lifted Unit Propagation for Effective Grounding CoRR (2011)