4 papers · 1 filter
A Verifier Hierarchy
Maurits Kaptein
We investigate the trade-off between certificate length and verifier runtime. We prove a Verifier Trade-off Theorem showing that reducing the inherent verification time of a langua…
Incorporating structural uncertainty in causal decision making
Maurits Kaptein
Practitioners making decisions based on causal effects typically ignore structural uncertainty. We analyze when this uncertainty is consequential enough to warrant methodological s…
Exploring Offline Policy Evaluation for the Continuous-Armed Bandit Problem
Jules Kruijswijk, Petri Parvinen, Maurits Kaptein
The (contextual) multi-armed bandit problem (MAB) provides a formalization of sequential decision-making which has many applications. However, validly evaluating MAB policies is ch…
contextual: Evaluating Contextual Multi-Armed Bandit Problems in R
Robin van Emden, Maurits Kaptein
Over the past decade, contextual bandit algorithms have been gaining in popularity due to their effectiveness and flexibility in solving sequential decision problems---from online…