18 citations · 80 across the 23 of their papers we have counts for
4 papers · 1 filter
Boosting AND/OR-Based Computational Protein Design: Dynamic Heuristics and Generalizable UFO
Bobak Pezeshki, Radu Marinescu, Alexander Ihler +1
Scientific computing has experienced a surge empowered by advancements in technologies such as neural networks. However, certain important tasks are less amenable to these technolo…
Iterative Reward Shaping using Human Feedback for Correcting Reward Misspecification
Jasmina Gajcin, James McCarthy, Rahul Nair +3
A well-defined reward function is crucial for successful training of an reinforcement learning (RL) agent. However, defining a suitable reward function is a notoriously challenging…
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse +5
Using reinforcement learning for automated theorem proving has recently received much attention. Current approaches use representations of logical statements that often rely on the…
AutoDOViz: Human-Centered Automation for Decision Optimization
Daniel Karl I. Weidele, Shazia Afzal, Abel N. Valente +12
We present AutoDOViz, an interactive user interface for automated decision optimization (AutoDO) using reinforcement learning (RL). Decision optimization (DO) has classically being…