Nick J. Hay

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 9

Top Topics

Theorem Proving

Artificially Intelligent

Parallel Search

Computer Algebra

Top Venues

Informatica (Slovenia)

SAFECOMP Workshops

Publications

Adam Safron, Zahra Sheikhbahaee, Nick J. Hay, Jeff Orchard, Jesse Hoey
Value Cores for Inner and Outer Alignment: Simulating Personality Formation via Iterated Policy Selection and Preference Learning with Self-World Modeling Active Inference Agents. IWAI (2022)
Gopal P. Sarma, Adam Safron, Nick J. Hay
Integrative Biological Simulation, Neuropsychology, and AI Safety. SafeAI@AAAI (2019)
Gopal P. Sarma, Adam Safron, Nick J. Hay
Integrative Biological Simulation, Neuropsychology, and AI Safety. CoRR (2018)
Gopal P. Sarma, Nick J. Hay, Adam Safron
AI Safety and Reproducibility: Establishing Robust Foundations for the Neuropsychology of Human Values. SAFECOMP Workshops (2018)
Gopal P. Sarma, Nick J. Hay
Robust Computer Algebra, Theorem Proving, and Oracle AI. Informatica (Slovenia) 41 (4) (2017)
Gopal P. Sarma, Nick J. Hay
Mammalian Value Systems. Informatica (Slovenia) 41 (4) (2017)
Gopal P. Sarma, Nick J. Hay, Adam Safron
AI Safety and Reproducibility: Establishing Robust Foundations for the Neuroscience of Human Values. CoRR (2017)
Gopal P. Sarma, Nick J. Hay
Robust Computer Algebra, Theorem Proving, and Oracle AI. CoRR (2017)
Gopal P. Sarma, Nick J. Hay
Mammalian Value Systems. CoRR (2016)