6 citations · 6 across the 1 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2018
Integrative Biological Simulation, Neuropsychology, and AI Safety
Gopal P. Sarma, Adam Safron, Nick J. Hay
We describe a biologically-inspired research agenda with parallel tracks aimed at AI and AI safety. The bottom-up component consists of building a sequence of biophysically realist…
cs.AI2017
Robust Computer Algebra, Theorem Proving, and Oracle AI
Gopal P. Sarma, Nick J. Hay
In the context of superintelligent AI systems, the term "oracle" has two meanings. One refers to modular systems queried for domain-specific tasks. Another usage, referring to a cl…