Sean B. Holden

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 21

Top Venues

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Francesco Ceccarelli, Lorenzo Giusti, Sean B. Holden, Pietro Liò
Integrating Structure and Sequence: Protein Graph Embeddings via GNNs and LLMs. ICPRAM (2024)
Fredrik Rømming, Jens Otten, Sean B. Holden
Connections: Markov Decision Processes for Classical, Intuitionistic and Modal Connection Calculi. AReCCa@TABLEAUX (2023)
Sean B. Holden
Connect++: A New Automated Theorem Prover Based on the Connection Calculus. AReCCa@TABLEAUX (2023)
Francesco Ceccarelli, Lorenzo Giusti, Sean B. Holden, Pietro Liò
Neural Embeddings for Protein Graphs. CoRR (2023)
Jens Otten, Sean B. Holden
A Syntax for Connection Proofs. AReCCa@TABLEAUX (2023)
Xiangyu Zhao, Sean B. Holden
Towards a Competitive 3-Player Mahjong AI using Deep Reinforcement Learning. CoG (2022)
Chaitanya Mangla, Sean B. Holden, Lawrence C. Paulson
Bayesian Ranking for Strategy Scheduling in Automated Theorem Provers. IJCAR (2022)
Agnieszka Slowik, Léon Bottou, Sean B. Holden, Mateja Jamnik
On the Relation between Distributionally Robust Optimization and Data Curation (Student Abstract). AAAI (2022)
Xiangyu Zhao, Sean B. Holden
Building a 3-Player Mahjong AI using Deep Reinforcement Learning. CoRR (2022)
Agnieszka Slowik, Abhinav Gupta, William L. Hamilton, Mateja Jamnik, Sean B. Holden, Chris Pal
Structural Inductive Biases in Emergent Communication. CogSci (2021)
Sean B. Holden
Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT. Found. Trends Mach. Learn. 14 (6) (2021)
Agnieszka Slowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson
Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract). AAAI (2020)
Agnieszka Slowik, Abhinav Gupta, William L. Hamilton, Mateja Jamnik, Sean B. Holden, Christopher J. Pal
Exploring Structural Inductive Biases in Emergent Communication. CoRR (2020)
Agnieszka Slowik, Abhinav Gupta, William L. Hamilton, Mateja Jamnik, Sean B. Holden
Towards Graph Representation Learning in Emergent Communication. CoRR (2020)
Chaitanya Mangla, Sean B. Holden, Lawrence C. Paulson
Bayesian Optimisation of Solver Parameters in CBMC. SMT (2020)
Agnieszka Slowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson
Bayesian Optimisation with Gaussian Processes for Premise Selection. CoRR (2019)
Agnieszka Slowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson
Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving. Vampire (2019)
Irina M. Armean, Kathryn S. Lilley, Matthew W. B. Trotter, Nicholas Charles Victor Pilkington, Sean B. Holden
Co-complex protein membership evaluation using Maximum Entropy on GO ontology and InterPro annotation. Bioinform. 34 (11) (2018)
Lisa M. Breckels, Sean B. Holden, David Wojnar, Claire M. Mulvey, Andy Christoforou, Arnoud Groen, Matthew W. B. Trotter, Oliver Kohlbacher, Kathryn S. Lilley, Laurent Gatto
Learning from Heterogeneous Data Sources: An Application in Spatial Proteomics. PLoS Comput. Biol. 12 (5) (2016)
Ivo J. P. M. Timóteo, Sean B. Holden
Learning Dynamic Systems from Time-series Data - An Application to Gene Regulatory Networks. ICPRAM (2) (2015)
Kiran K. Rachuri, Theus Hossmann, Cecilia Mascolo, Sean B. Holden
Beyond location check-ins: Exploring physical and soft sensing to augment social check-in apps. PerCom (2015)
James P. Bridge, Sean B. Holden, Lawrence C. Paulson
Machine Learning for First-Order Theorem Proving - Learning to Select a Good Heuristic. J. Autom. Reason. 53 (2) (2014)
Richard Anthony Russell, Sean B. Holden
Handling Goal Utility Dependencies in a Satisfiability Framework. ICAPS (2010)
Simon Fothergill, Robert Harle, Sean B. Holden
Modeling the Model Athlete: Automatic Coaching of Rowing Technique. SSPR/SPR (2008)
Andrew Naish-Guzman, Sean B. Holden
Robust Regression with Twinned Gaussian Processes. NIPS (2007)
Andrew Naish-Guzman, Sean B. Holden
The Generalized FITC Approximation. NIPS (2007)
Ulrich Paquet, Sean B. Holden, Andrew Naish-Guzman
Bayesian Hierarchical Ordinal Regression. ICANN (2) (2005)
Andrew Naish-Guzman, Sean B. Holden, Ulrich Paquet
On the Explicit Use of Example Weights in the Construction of Classifiers. ICANN (2) (2005)
Robert Burbidge, Matthew W. B. Trotter, Bernard F. Buxton, Sean B. Holden
Drug Design by Machine Learning: Support Vector Machines for Pharmaceutical Data Analysis. Comput. Chem. 26 (1) (2002)
Robert Burbidge, Matthew W. B. Trotter, Bernard F. Buxton, Sean B. Holden
STAR - Sparsity through Automated Rejection. IWANN (1) (2001)
Jeevani Wickramaratna, Sean B. Holden, Bernard F. Buxton
Performance Degradation in Boosting. Multiple Classifier Systems (2001)
Martin Anthony, Sean B. Holden
Cross-Validation for Binary Classification by Real-Valued Functions: Theoretical Analysis. COLT (1998)
Sean B. Holden, Mahesan Niranjan
Average-Case Learning Curves for Radial Basis Function Networks. Neural Comput. 9 (2) (1997)
Sean B. Holden
PAC-Like Upper Bounds for the Sample Complexity of Leave-one-Out Cross-Validation. COLT (1996)
Sean B. Holden, Mahesan Niranjan
On the statistical physics of radial basis function networks. Neural Process. Lett. 2 (4) (1995)
Sean B. Holden, Mahesan Niranjan
On the practical applicability of VC dimension bounds. Neural Comput. 7 (6) (1995)
Sean B. Holden, Peter J. W. Rayner
Generalization and PAC learning: some new results for the class of generalized single-layer networks. IEEE Trans. Neural Networks 6 (2) (1995)
Martin Anthony, Sean B. Holden
Quantifying Generalization in Linearly Weighted Neural Networks. Complex Syst. 8 (2) (1994)
Martin Anthony, Sean B. Holden
On the Power of Polynomial Discriminators and Radial Basis Function Networks. COLT (1993)
Sean B. Holden, Peter J. W. Rayner
Generalization and learning in Volterra and radial basis function networks: a theoretical analysis. ICASSP (1992)
Michael R. Lynch, Peter J. W. Rayner, Sean B. Holden
Removal of degeneracy in adaptive Volterra networks by dynamic structuring. ICASSP (1991)

Sean B. Holden.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sean B. Holden