Nick Hay
Nick Hay
Encultured AI
Verified email at - Homepage
Cited by
Cited by
Selecting computations: Theory and applications
N Hay, S Russell, D Tolpin, SE Shimony
arXiv preprint arXiv:1408.2048, 2014
Algorithm selection by rational metareasoning as a model of human strategy selection
F Lieder, D Plunkett, JB Hamrick, SJ Russell, N Hay, T Griffiths
Advances in neural information processing systems 27, 2014
Representation of left-computable ε-random reals
CS Calude, NJ Hay, F Stephan
Journal of Computer and System Sciences 77 (4), 812-819, 2011
Discrete-continuous mixtures in probabilistic programming: Generalized semantics and inference algorithms
Y Wu, S Srivastava, N Hay, S Du, S Russell
International Conference on Machine Learning, 5343-5352, 2018
On computing all harmonic frames of n vectors in Cd
S Waldron, N Hay
Applied and Computational Harmonic Analysis 21 (2), 168-181, 2006
Behavior is everything: Towards representing concepts with sensorimotor contingencies
N Hay, M Stark, A Schlegel, C Wendelken, D Park, E Purdy, T Silver, ...
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
AI safety and reproducibility: establishing robust foundations for the neuropsychology of human values
GP Sarma, NJ Hay, A Safron
International Conference on Computer Safety, Reliability, and Security, 507-512, 2018
Metareasoning for Monte Carlo tree search
N Hay, SJ Russell
Technical Report UCB/EECS-2011-119, EECS Department, University of …, 2011
Mammalian value systems
GP Sarma, NJ Hay
arXiv preprint arXiv:1607.08289, 2016
Every computably enumerable random real is provably computably enumerable random
CS Calude, NJ Hay
Logic Journal of IGPL 17 (4), 351-374, 2009
Principles of Metalevel Control
NJ Hay
University of California, Berkeley, 2016
Integrative biological simulation, neuropsychology, and AI safety
GP Sarma, A Safron, NJ Hay
arXiv preprint arXiv:1811.03493, 2018
Cortical microcircuits from a generative vision model
D George, A Lavin, JS Guntupalli, D Mely, N Hay, M Lázaro-Gredilla
arXiv preprint arXiv:1808.01058, 2018
Robust Computer Algebra, Theorem Proving, and Oracle AI
GP Sarma, NJ Hay
arXiv preprint arXiv:1708.02553, 2017
The Extended Semantics For Probabilistic Programming Languages
N Hay, S Srivastava, Y Wu, S Russell
Workshop on Probabilistic Programming Semantics at POPL 17, 2017
Simulation complexity
NJ Hay
Fundamenta Informaticae 83 (1-2), 117-140, 2008
Error in enumerable sequence prediction
N Hay
Dagstuhl Seminar Proceedings, 2006
Kolmogorov Complexity and Applications
M Hutter, W Merkle, P Vitanyi, B Ryabko, J Astola, A Gammerman, ...
Internationales Begegnungs-und Forschungszentrum fuer Informatik (IBFI …, 0
Universal Semimeasures: An Introduction: a Thesis Submitted in Partial Fulfilment of the Requirements for the Degree of Master of Science in Computer Science
N Hay
University of Auckland, 2007
Can Peano Arithmetic Prove Randomness?
CS Calude, NJ Hay, FC Stephan
The system can't perform the operation now. Try again later.
Articles 1–20