Pashootan Vaezipoor

22 papers A* 6A 1Journal 14
YearRankTypeTitle / Venue / Authors
2024 J jnl
LLMs and the Abstraction and Reasoning Corpus: Successes, Failures, and the Importance of Object-based Representations.
Trans. Mach. Learn. Res.
Yudong Xu, Wenhao Li, Pashootan Vaezipoor, Scott Sanner, Elias Boutros Khalil
2024 J jnl
LegalLens Shared Task 2024: Legal Violation Identification in Unstructured Text.
CoRR
Ben Hagag, Liav Harpaz, Gil Semo, Dor Bernsohn, Rohit Saha, Pashootan Vaezipoor, Kyryl Truskovskyi, Gerasimos Spanakis
2024 J jnl
Report Cards: Qualitative Evaluation of Language Models Using Natural Language Summaries.
CoRR
Blair Yang, Fuyang Cui, Keiran Paster, Jimmy Ba, Pashootan Vaezipoor, Silviu Pitis, Michael R. Zhang
2024 A* conf
Reward Machines for Deep RL in Noisy and Uncertain Environments.
NeurIPS
Andrew C. Li, Zizhao Chen, Toryn Q. Klassen, Pashootan Vaezipoor, Rodrigo Toro Icarte, Sheila A. McIlraith
2024 J jnl
Reward Machines for Deep RL in Noisy and Uncertain Environments.
CoRR
Andrew C. Li, Zizhao Chen, Toryn Q. Klassen, Pashootan Vaezipoor, Rodrigo Toro Icarte, Sheila A. McIlraith
2023 — —
Contributions to Data-Driven Combinatorial Solvers
Pashootan Vaezipoor
2023 A conf
Fast Matrix Multiplication Without Tears: A Constraint Programming Approach.
CP
Arnaud Deza, Chang Liu, Pashootan Vaezipoor, Elias B. Khalil
2023 J jnl
Fast Matrix Multiplication Without Tears: A Constraint Programming Approach.
CoRR
Arnaud Deza, Chang Liu, Pashootan Vaezipoor, Elias B. Khalil
2023 J jnl
LLMs and the Abstraction and Reasoning Corpus: Successes, Failures, and the Importance of Object-based Representations.
CoRR
Yudong Xu, Wenhao Li, Pashootan Vaezipoor, Scott Sanner, Elias B. Khalil
2022 A* conf
Augment with Care: Contrastive Learning for Combinatorial Problems.
ICML
Haonan Duan, Pashootan Vaezipoor, Max B. Paulus, Yangjun Ruan, Chris J. Maddison
2022 J jnl
Augment with Care: Contrastive Learning for the Boolean Satisfiability Problem.
CoRR
Haonan Duan, Pashootan Vaezipoor, Max B. Paulus, Yangjun Ruan, Chris J. Maddison
2022 J jnl
Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Tasks.
CoRR
Andrew C. Li, Pashootan Vaezipoor, Rodrigo Toro Icarte, Sheila A. McIlraith
2022 A* conf
Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework.
AAAI
Elias B. Khalil, Pashootan Vaezipoor, Bistra Dilkina
2022 A* conf
Learning to Follow Instructions in Text-Based Games.
NeurIPS
Mathieu Tuli, Andrew C. Li, Pashootan Vaezipoor, Toryn Q. Klassen, Scott Sanner, Sheila A. McIlraith
2022 J jnl
Learning to Follow Instructions in Text-Based Games.
CoRR
Mathieu Tuli, Andrew C. Li, Pashootan Vaezipoor, Toryn Q. Klassen, Scott Sanner, Sheila A. McIlraith
2022 J jnl
Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines.
CoRR
Andrew C. Li, Zizhao Chen, Pashootan Vaezipoor, Toryn Q. Klassen, Rodrigo Toro Icarte, Sheila A. McIlraith
2021 J jnl
Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework.
CoRR
Elias B. Khalil, Pashootan Vaezipoor, Bistra Dilkina
2021 A* conf
LTL2Action: Generalizing LTL Instructions for Multi-Task RL.
ICML
Pashootan Vaezipoor, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith
2021 J jnl
LTL2Action: Generalizing LTL Instructions for Multi-Task RL.
CoRR
Pashootan Vaezipoor, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith
2021 A* conf
Learning Branching Heuristics for Propositional Model Counting.
AAAI
Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Sanjit A. Seshia, Fahiem Bacchus
2020 J jnl
Learning Branching Heuristics for Propositional Model Counting.
CoRR
Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Edward A. Lee, Sanjit A. Seshia, Fahiem Bacchus
2011 J jnl
Lifted Unit Propagation for Effective Grounding
CoRR
Pashootan Vaezipoor, David G. Mitchell, Maarten Mariën