Gopal P. Sarma

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 14

Top Topics

Computer Algebra

Theorem Proving

Artificially Intelligent

Scientific Data

Top Venues

Informatica (Slovenia)

SAFECOMP Workshops

Publications

Gopal P. Sarma, Erik Reinertsen
Physiology as a Lingua Franca for Clinical Machine Learning. Patterns 1 (2) (2020)
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
Doing Things Twice: Strategies to Identify Studies for Targeted Validation. CoRR (2017)
Gopal P. Sarma
Brief Notes on Hard Takeoff, Value Alignment, and Coherent Extrapolated Volition. 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)
Gopal P. Sarma
Scientific Auditing Firms. CoRR (2016)
Gopal P. Sarma
Scientific Data Science and the Case for Open Access. CoRR (2016)
Gopal P. Sarma, Travis W. Jacobs, Mark D. Watts, S. Vahid Ghayoomie, Stephen D. Larson, Richard C. Gerkin
Unit testing, model validation, and biological simulation. F1000Research 5 (2016)