Sam Staton

Professor, University of Oxford

Joined

September 2021

Names

Sam Staton (Preferred)

Emails

****@cs.ox.ac.uk (Confirmed)

Personal Links

Homepage

Career & Education History

Professor

University of Oxford (ox.ac.uk)

2015 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Uncertainty-Aware Step-wise Verification with Generative Reward Models
Zihuiwen Ye, Luckeciano Carvalho Melo, Younesse Kaddar, Phil Blunsom, Sam Staton, Yarin Gal
- QUESTION Poster
- Readers: Everyone
ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs
Alexander K. Lew, Mathieu Huot, Sam Staton, Vikash Mansinghka
- 16 May 2023
- OpenReview Archive Direct Upload
- Readers: Everyone
ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs
Alexander K. Lew, Mathieu Huot, Sam Staton, Vikash K. Mansinghka
- 2023 (modified: 13 Mar 2023)
- Proc. ACM Program. Lang. 2023
- Readers: Everyone
ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs
Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton
- 2023 (modified: 13 Mar 2023)
- CoRR 2023
- Readers: Everyone
Affine Monads and Lazy Structures for Bayesian Programming
Swaraj Dash, Younesse Kaddar, Hugo Paquet, Sam Staton
- 2023 (modified: 13 Mar 2023)
- Proc. ACM Program. Lang. 2023
- Readers: Everyone
Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction
Cristina Matache, Sean K. Moss, Sam Staton
- 2022 (modified: 13 Mar 2023)
- LICS 2022
- Readers: Everyone
Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction)
Cristina Matache, Sean K. Moss, Sam Staton
- 2022 (modified: 13 Mar 2023)
- CoRR 2022
- Readers: Everyone
Higher Order Automatic Differentiation of Higher Order Functions
Mathieu Huot, Sam Staton, Matthijs Vákár
- 2022 (modified: 13 Mar 2023)
- Log. Methods Comput. Sci. 2022
- Readers: Everyone
Affine Monads and Lazy Structures for Bayesian Programming
Swaraj Dash, Younesse Kaddar, Hugo Paquet, Sam Staton
- 2022 (modified: 13 Mar 2023)
- CoRR 2022
- Readers: Everyone
Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras
Sam Staton, Ned Summers
- 2022 (modified: 13 Mar 2023)
- CoRR 2022
- Readers: Everyone

View all 76 publications

Co-Authors

View all 48 co-authors