activity
20132026
most citedUnit Testing, Model Validation, and Biological Simulation

30 citations · 55 across the 14 of their papers we have counts for

collaborators
Showing 2017Show all

5 papers · 1 filter

q-bio.QM2017★ 6 cited

Integrative biological simulation praxis: Considerations from physics, philosophy, and data/model curation practices

Gopal P. Sarma, Victor Faundez

Integrative biological simulations have a varied and controversial history in the biological sciences. From computational models of organelles, cells, and simple organisms, to phys…

cs.AI2017★ 3 cited

AI Safety and Reproducibility: Establishing Robust Foundations for the Neuropsychology of Human Values

Gopal P. Sarma, Nick J. Hay, Adam Safron

We propose the creation of a systematic effort to identify and replicate key findings in neuropsychology and allied fields related to understanding human values. Our aim is to ensu…

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…

cs.AI2017

Brief Notes on Hard Takeoff, Value Alignment, and Coherent Extrapolated Volition

Gopal P. Sarma

I make some basic observations about hard takeoff, value alignment, and coherent extrapolated volition, concepts which have been central in analyses of superintelligent AI systems.

cs.CY2017

Doing Things Twice (Or Differently): Strategies to Identify Studies for Targeted Validation

Gopal P. Sarma

The "reproducibility crisis" has been a highly visible source of scientific controversy and dispute. Here, I propose and review several avenues for identifying and prioritizing res…