Sean Holden
University Senior Lecturer
Works on machine learning and artificial intelligence, including Bayesian inference and learning methods applied to automated theorem proving and SAT solving.
Sean Holden's lab at Cambridge works on probabilistic & causal inference and efficient training & inference. 5 papers since 2023. 3 PhD students. 7 alumni, most often to Braid Technologies and Google DeepMind. Applications close .
At a glance
- papers, 2023–2026
- 1/ year
- at T1 venues
- 0%
- PhD students
- 3
- MS students
- 0
- alumni listed
- 7
Papers by yearfrom the lab homepage, 2023–2026
- 0 papers2026 · T1 0 · collecting
- 0 papers2025 · T1 0
- 2 papers2024 · T1 0
- 3 papers2023 · T1 0
T1 venuesOther
Research focuspaper titles that use each topic's words
- theorem1 paper
- Probabilistic & causal inference0 papers
- Efficient training & inference0 papers
- proving0 papers
- theorem proving0 papers
Paper list
From the lab homepage.
20242 papers
- CASC-J12Connect++ 0.6.0
- In Proceedings of the International Joint Conference on Neural Networks (IJCNN), . Accepted for publicationMUGI-MRI: Enhancing breast cancer classification through multiplex graph neural networks in DCE-MRI
20233 papers
- AReCCAA syntax for connection proofs
- AReCCAConnect++: A new automated theorem prover based on the connection calculus
- AReCCAMarkov decision processes for classical, intuitionistic, and modal connection calculi
Where alumni went7 listed, 100% to industry
Industry 6Academia 0
Most often to
- Braid Technologies
- Google DeepMind
- Microsoft
Apply to CambridgeMichaelmas 2027
PhD in Computer Science
- Round
- Funding round (8 Dec 2026)
- Opens
- GRE
- See program page
- English
- See program page
- Fee
- See program page
Confirmed on the program page.
Similar labsnearest by research summary
- GBOxford
Markus Brill
- Reinforcement learning
- USUCLA
Lin Yang
- Learning theory & optimization
- CHETH Zurich
Jonas Peters
- Probabilistic & causal inference
- CNTsinghua
Yong Li
- Time series, anomaly & spatio-temporal data
- CHETH Zurich
Bernhard Schölkopf
- Probabilistic & causal inference
- CNZhejiang
Haishuai Wang
- Time series, anomaly & spatio-temporal data
Your notes
Save this lab to keep notes.
Data
Checked against the lab homepage.
- Collected
- Verified
- Papers
- The lab homepage
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.
Cambridgecloses