Staton, Sam
- Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing
2020/01/07 by Mathieu Huot, Sam Staton, Huot, Mathieu +3 · 1 voice · 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) #cs.LO #cs.PL
- A monad for full ground reference cells
2017/02/16 by Kammar, Ohad, Levy, Paul B., Moss, Sean K. +1 · 2 citations
#Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Compositional imprecise probability
2024/05/15 by Jack Liell-Cock, Liell-Cock, Jack, Sam Staton +1 · 2 voices · 4 citations
Computer Science · Mathematics · #cs.PL #cs.LO #math.CT #math.PR
- Uncertainty-Aware Step-wise Verification with Generative Reward Models
2025/02/16 by Zihuiwen Ye, Luckeciano C. Melo, Ye, Zihuiwen +9 · 9 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)
- Affine Monads and Lazy Structures for Bayesian Programming
2022/12/14 by Swaraj Dash, Younesse Kaddar, Dash, Swaraj +5 · 1 citation
Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Machine Learning and Algorithms #Programming Languages (cs.PL)