2 papers
cs.LG2025
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…
cs.LG2025
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…