Omohundro, Steve

Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Dalrymple, D. "., Skalse, J., Bengio, Y., Russell, S., Tegmark, M., Seshia, S., Omohundro, S., Szegedy, C., Goldhaber, B., Ammann, N., et al. (2024) · arXiv

Safety Systems Engineering in AutonomyFormal Methods in Verification

Cited by 12

Provably safe systems: the only path to controllable AGI

Tegmark, M., & Omohundro, S. (2023) · arXiv

Ethics and Social Impacts of AISafety Systems Engineering in Autonomy

Cited by 10

A Definition of AGI

Hendrycks, D., Song, D., Szegedy, C., Lee, H., Gal, Y., Brynjolfsson, E., Li, S., Zou, A., Levine, L., Han, B., et al. (2025) · arXiv

Psychiatry, Mental Health, NeuroscienceArtificial Intelligence Applications

Cited by 3