Résultats de la recherche - Staton, Sam

A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories par Kaddar, Younesse, Staton, Sam

Accéder au texte intégral

A causal Markov category with Kolmogorov products par Moss, Sean, Staton, Sam

Accéder au texte intégral

Compositional imprecise probability par Liell-Cock, Jack, Staton, Sam

Accéder au texte intégral

Higher Order Automatic Differentiation of Higher Order Functions par Huot, Mathieu, Staton, Sam, Vákár, Matthijs

Accéder au texte intégral

The Relative Monadic Metalanguage par Liell-Cock, Jack, Shirazi, Zev, Staton, Sam

Accéder au texte intégral

Program Logics via Distributive Monoidal Categories par Bonchi, Filippo, Di Lavore, Elena, Román, Mario, Staton, Sam

Accéder au texte intégral

Modular abstract syntax trees (MAST): substitution tensors with second-class sorts par Fiore, Marcelo P., Kammar, Ohad, Moser, Georg, Staton, Sam

Accéder au texte intégral

Likelihood hacking in probabilistic program synthesis par Karwowski, Jacek, Kaddar, Younesse, Ye, Zihuiwen, Malkin, Nikolay, Staton, Sam

Accéder au texte intégral

Clock systems for stochastic and non-deterministic categorical systems theories par Lynch, Owen, Myers, David Jaz, Rischel, Eigil Fjeldgren, Staton, Sam

Accéder au texte intégral

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories par Kammar, Ohad, Liell-Cock, Jack, Lindley, Sam, Matache, Cristina, Staton, Sam

Accéder au texte intégral

Scoped Effects as Parameterized Algebraic Theories par Matache, Cristina, Lindley, Sam, Moss, Sean, Staton, Sam, Wu, Nicolas, Yang, Zhixuan

Accéder au texte intégral

Uncertainty-Aware Step-wise Verification with Generative Reward Models par Ye, Zihuiwen, Melo, Luckeciano Carvalho, Kaddar, Younesse, Blunsom, Phil, Staton, Sam, Gal, Yarin

Accéder au texte intégral

Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets par Ackerman, Nathanael L., Freer, Cameron E., Kaddar, Younesse, Karwowski, Jacek, Moss, Sean K., Roy, Daniel M., Staton, Sam, Yang, Hongseok

Accéder au texte intégral