Picture for Pashootan Vaezipoor

Pashootan Vaezipoor

Reward Machines for Deep RL in Noisy and Uncertain Environments

Add code
May 31, 2024
Viaarxiv icon

Fast Matrix Multiplication Without Tears: A Constraint Programming Approach

Add code
Jun 01, 2023
Figure 1 for Fast Matrix Multiplication Without Tears: A Constraint Programming Approach
Figure 2 for Fast Matrix Multiplication Without Tears: A Constraint Programming Approach
Viaarxiv icon

LLMs and the Abstraction and Reasoning Corpus: Successes, Failures, and the Importance of Object-based Representations

Add code
May 26, 2023
Figure 1 for LLMs and the Abstraction and Reasoning Corpus: Successes, Failures, and the Importance of Object-based Representations
Figure 2 for LLMs and the Abstraction and Reasoning Corpus: Successes, Failures, and the Importance of Object-based Representations
Figure 3 for LLMs and the Abstraction and Reasoning Corpus: Successes, Failures, and the Importance of Object-based Representations
Figure 4 for LLMs and the Abstraction and Reasoning Corpus: Successes, Failures, and the Importance of Object-based Representations
Viaarxiv icon

Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines

Add code
Nov 23, 2022
Figure 1 for Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines
Figure 2 for Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines
Figure 3 for Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines
Figure 4 for Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines
Viaarxiv icon

Learning to Follow Instructions in Text-Based Games

Add code
Nov 08, 2022
Figure 1 for Learning to Follow Instructions in Text-Based Games
Figure 2 for Learning to Follow Instructions in Text-Based Games
Figure 3 for Learning to Follow Instructions in Text-Based Games
Figure 4 for Learning to Follow Instructions in Text-Based Games
Viaarxiv icon

Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Tasks

Add code
Jun 03, 2022
Figure 1 for Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Tasks
Figure 2 for Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Tasks
Figure 3 for Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Tasks
Figure 4 for Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Tasks
Viaarxiv icon

Augment with Care: Contrastive Learning for the Boolean Satisfiability Problem

Add code
Feb 17, 2022
Figure 1 for Augment with Care: Contrastive Learning for the Boolean Satisfiability Problem
Figure 2 for Augment with Care: Contrastive Learning for the Boolean Satisfiability Problem
Figure 3 for Augment with Care: Contrastive Learning for the Boolean Satisfiability Problem
Figure 4 for Augment with Care: Contrastive Learning for the Boolean Satisfiability Problem
Viaarxiv icon

Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework

Add code
Oct 16, 2021
Figure 1 for Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework
Figure 2 for Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework
Figure 3 for Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework
Figure 4 for Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework
Viaarxiv icon

LTL2Action: Generalizing LTL Instructions for Multi-Task RL

Add code
Feb 25, 2021
Figure 1 for LTL2Action: Generalizing LTL Instructions for Multi-Task RL
Figure 2 for LTL2Action: Generalizing LTL Instructions for Multi-Task RL
Figure 3 for LTL2Action: Generalizing LTL Instructions for Multi-Task RL
Figure 4 for LTL2Action: Generalizing LTL Instructions for Multi-Task RL
Viaarxiv icon

Learning Branching Heuristics for Propositional Model Counting

Add code
Jul 07, 2020
Figure 1 for Learning Branching Heuristics for Propositional Model Counting
Figure 2 for Learning Branching Heuristics for Propositional Model Counting
Figure 3 for Learning Branching Heuristics for Propositional Model Counting
Figure 4 for Learning Branching Heuristics for Propositional Model Counting
Viaarxiv icon