Sam Staton
- Foundations of Probabilistic Programming
2020/11/18 by Fredrik Dahlqvist, Alexandra Silva, Dexter Kozen +45 · 1 voice · 5 citations
Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge
- Compositional imprecise probability
2024/05/15 by Jack Liell-Cock, Sam Staton, Liell-Cock, Jack +1 · 2 voices · 3 citations
Computer Science · #cs.PL #cs.LO #math.CT #math.PR
- Uncertainty-Aware Step-wise Verification with Generative Reward Models
2025/02/16 by Zihuiwen Ye, Ye, Zihuiwen, Luckeciano C. Melo +9 · 5 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Methods in Verification #Software Testing and Debugging Techniques
- Compositional Semantics for Probabilistic Programs with Exact Conditioning
2021/01/27 by Dario Stein, Sam Staton, Stein, Dario +1 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Category Theory (math.CT) #F.3.2 #FOS: Computer and information sciences #FOS: Mathematics #G.3 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Probability (math.PR) #Programming Languages (cs.PL)
- Correctness of Automatic Differentiation via Diffeologies and\n Categorical Gluing
2020/01/07 by Mathieu Huot, Huot, Mathieu, Sam Staton +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)
- Imprecise Probabilistic Programming, Precisely: Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference (Functional Pearl)
2026/07/23 by Jack Liell-Cock, Sam Staton
Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge #Constraint Satisfaction and Optimization