Sotabase

Career

· Independent AI Alignment Researcher, Self-employed2025–
· PhD in Artificial Intelligence, University of California, Berkeley2008–2016

Publications (14)

Selecting Computations: Theory and Applications
Conference on Uncertainty in Artificial Intelligence · 2012
88
cited
Algorithm selection by rational metareasoning as a model of human strategy selection
Neural Information Processing Systems · 2014
51
cited
Discrete-Continuous Mixtures in Probabilistic Programming: Generalized Semantics and Inference Algorithms
International Conference on Machine Learning · 2018
29
cited
On computing all harmonic frames of n vectors in $\C^d$
2006
27
cited
Representation of left-computable ε-random reals
Journal of computer and system sciences (Print) · 2011
22
cited
Metareasoning for Monte Carlo Tree Search
2011
17
cited
Principles of Metalevel Control
2016
5
cited
Parallelizing Reinforcement Learning
2009
2
cited
Error in Enumerable Sequence Prediction
Kolmogorov Complexity and Applications · 2006
1
cited
Can Randomness Be Certified by Proof
2008
Series Representation of Left-Computable ε – Random
2009
Series Robust Computer Algebra , Theorem Proving , and Oracle
2017
Simulation Complexity
Fundamenta Informaticae · 2008
University of Auckland Computer Science Graduate Workshop 2006
2007
Sotabase
Nicholas Hay | Researcher Profile | Sotabase | Sotabase