Holden, Sean B.

8 publications

AAAI 2022 On the Relation Between Distributionally Robust Optimization and Data Curation (Student Abstract) Agnieszka Slowik, Léon Bottou, Sean B. Holden, Mateja Jamnik

FnTML 2021 Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT Sean B. Holden

AAAI 2020 Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract) Agnieszka Slowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson

COLT 1998 Cross-Validation for Binary Classification by Real-Valued Functions: Theoretical Analysis Martin Anthony, Sean B. Holden

NeCo 1997 Average-Case Learning Curves for Radial Basis Function Networks Sean B. Holden, Mahesan Niranjan

COLT 1996 PAC-like Upper Bounds for the Sample Complexity of Leave-One-Out Cross-Validation Sean B. Holden

NeCo 1995 On the Practical Applicability of VC Dimension Bounds Sean B. Holden, Mahesan Niranjan

COLT 1993 On the Power of Polynomial Discriminators and Radial Basis Function Networks Martin Anthony, Sean B. Holden