Algebraic Effects, Effect Handlers, Computational Effects, Pure Functions
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·5h
Incorporating Interventional Independence Improves Robustness against Interventional Distribution Shift
arxiv.org·2d
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.org·5h
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org·5h
Loading...Loading more...