Suchergebnisse - Staton, Sam
- Treffer 1 - 13 von 13
-
1
A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories Autoría: Kaddar, Younesse, Staton, Sam
Veröffentlicht 2023Fuente: arXivTipo de material: PreprintAcceso al recurso -
2
A causal Markov category with Kolmogorov products Autoría: Moss, Sean, Staton, Sam
Veröffentlicht 2025Fuente: arXivTipo de material: PreprintAcceso al recurso -
3
Compositional imprecise probability Autoría: Liell-Cock, Jack, Staton, Sam
Veröffentlicht 2024Fuente: arXivTipo de material: PreprintAcceso al recurso -
4
Higher Order Automatic Differentiation of Higher Order Functions Autoría: Huot, Mathieu, Staton, Sam, Vákár, Matthijs
Veröffentlicht 2021Fuente: arXivTipo de material: PreprintAcceso al recurso -
5
The Relative Monadic Metalanguage Autoría: Liell-Cock, Jack, Shirazi, Zev, Staton, Sam
Veröffentlicht 2025Fuente: arXivTipo de material: PreprintAcceso al recurso -
6
Program Logics via Distributive Monoidal Categories Autoría: Bonchi, Filippo, Di Lavore, Elena, Román, Mario, Staton, Sam
Veröffentlicht 2025Fuente: arXivTipo de material: PreprintAcceso al recurso -
7
Modular abstract syntax trees (MAST): substitution tensors with second-class sorts Autoría: Fiore, Marcelo P., Kammar, Ohad, Moser, Georg, Staton, Sam
Veröffentlicht 2025Fuente: arXivTipo de material: PreprintAcceso al recurso -
8
Likelihood hacking in probabilistic program synthesis Autoría: Karwowski, Jacek, Kaddar, Younesse, Ye, Zihuiwen, Malkin, Nikolay, Staton, Sam
Veröffentlicht 2026Fuente: arXivTipo de material: PreprintAcceso al recurso -
9
Clock systems for stochastic and non-deterministic categorical systems theories Autoría: Lynch, Owen, Myers, David Jaz, Rischel, Eigil Fjeldgren, Staton, Sam
Veröffentlicht 2026Fuente: arXivTipo de material: PreprintAcceso al recurso -
10
An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories Autoría: Kammar, Ohad, Liell-Cock, Jack, Lindley, Sam, Matache, Cristina, Staton, Sam
Veröffentlicht 2026Fuente: arXivTipo de material: PreprintAcceso al recurso -
11
Scoped Effects as Parameterized Algebraic Theories Autoría: Matache, Cristina, Lindley, Sam, Moss, Sean, Staton, Sam, Wu, Nicolas, Yang, Zhixuan
Veröffentlicht 2024Fuente: arXivTipo de material: PreprintAcceso al recurso -
12
Uncertainty-Aware Step-wise Verification with Generative Reward Models Autoría: Ye, Zihuiwen, Melo, Luckeciano Carvalho, Kaddar, Younesse, Blunsom, Phil, Staton, Sam, Gal, Yarin
Veröffentlicht 2025Fuente: arXivTipo de material: PreprintAcceso al recurso -
13
Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets Autoría: Ackerman, Nathanael L., Freer, Cameron E., Kaddar, Younesse, Karwowski, Jacek, Moss, Sean K., Roy, Daniel M., Staton, Sam, Yang, Hongseok
Veröffentlicht 2023Fuente: arXivTipo de material: PreprintAcceso al recurso