research
∙
08/31/2023
Boosting AND/OR-Based Computational Protein Design: Dynamic Heuristics and Generalizable UFO
Scientific computing has experienced a surge empowered by advancements i...
share
research
∙
08/30/2023
Iterative Reward Shaping using Human Feedback for Correcting Reward Misspecification
A well-defined reward function is crucial for successful training of an ...
research
∙
05/15/2023
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Using reinforcement learning for automated theorem proving has recently ...
research
∙
02/19/2023
AutoDOViz: Human-Centered Automation for Decision Optimization
We present AutoDOViz, an interactive user interface for automated decisi...
research
∙
07/18/2022
Boolean Decision Rules for Reinforcement Learning Policy Summarisation
Explainability of Reinforcement Learning (RL) policies remains a challen...
research
∙
12/17/2021
Contrastive Explanations for Comparing Preferences of Reinforcement Learning Agents
In complex tasks where the reward function is not straightforward and co...
research
∙
09/25/2021
Logical Credal Networks
This paper introduces Logical Credal Networks, an expressive probabilist...
research
∙
07/02/2021
Designing Machine Learning Pipeline Toolkit for AutoML Surrogate Modeling Optimization
The pipeline optimization problem in machine learning requires simultane...
research
∙
02/02/2019
Generating Dialogue Agents via Automated Planning
Dialogue systems have many applications such as customer support or ques...
research
∙
01/15/2014
AND/OR Multi-Valued Decision Diagrams (AOMDDs) for Graphical Models
Inspired by the recently introduced framework of AND/OR search spaces fo...
research
∙
10/19/2012
Systematic vs. Non-systematic Algorithms for Solving the MPE Task
The paper continues the study of partitioning based inference of heurist...
research
∙
10/16/2012
Multi-objective Influence Diagrams
We describe multi-objective influence diagrams, based on a set of p obje...
research
∙
02/14/2012
