| Selecting computations: Theory and applications N Hay, S Russell, D Tolpin, SE Shimony arXiv preprint arXiv:1408.2048, 2014 | 92 | 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 | 61 | 2014 |
| Representation of left-computable ε-random reals CS Calude, NJ Hay, F Stephan Journal of Computer and System Sciences 77 (4), 812-819, 2011 | 32 | 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 | 28 | 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 | 27 | 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 | 25 | 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 | 21 | 2018 |
| Metareasoning for Monte Carlo tree search N Hay, SJ Russell Technical Report UCB/EECS-2011-119, EECS Department, University of …, 2011 | 20 | 2011 |
| Mammalian value systems GP Sarma, NJ Hay arXiv preprint arXiv:1607.08289, 2016 | 13 | 2016 |
| Principles of Metalevel Control NJ Hay University of California, Berkeley, 2016 | 8 | 2016 |
| Every computably enumerable random real is provably computably enumerable random CS Calude, NJ Hay Logic Journal of IGPL 17 (4), 351-374, 2009 | 8 | 2009 |
| 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 | 7 | 2018 |
| Integrative biological simulation, neuropsychology, and AI safety GP Sarma, A Safron, NJ Hay arXiv preprint arXiv:1811.03493, 2018 | 6 | 2018 |
| Robust Computer Algebra, Theorem Proving, and Oracle AI GP Sarma, NJ Hay arXiv preprint arXiv:1708.02553, 2017 | 4 | 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 | 1 | 2017 |
| Simulation complexity NJ Hay Fundamenta Informaticae 83 (1-2), 117-140, 2008 | 1 | 2008 |
| Error in enumerable sequence prediction N Hay Dagstuhl Seminar Proceedings, 2006 | 1 | 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 | 1 | |
| 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 | | 2007 |
| Can Peano Arithmetic Prove Randomness? CS Calude, NJ Hay, FC Stephan | | |
