Tegmark, Max

The Geometry of Concepts: Sparse Autoencoder Feature Structure

Li, Y., Michaud, E. J., Baek, D. D., Engels, J., Sun, X., & Tegmark, M. (2024) · arXiv

Topic ModelingFace and Expression Recognition

Cited by 14

The clock and the pizza: Two stories in mechanistic explanation of neural networks

Zhong, Z., Liu, Z., Tegmark, M., & Andreas, J. (2023) · arXiv

Philosophy of Biology and Scientific ExplanationPhilosophy and Theoretical Science

Cited by 14

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

Lethal autonomous weapons

Javorsky, E., Tegmark, M., & Helfand, I. (2019) · BMJ

Ethics and Social Impacts of AIArtificial Intelligence in Healthcare and Education

Cited by 7

DafnyBench: A Benchmark for Formal Software Verification

Loughridge, C., Sun, Q., Ahrenbach, S., Cassano, F., Sun, C., Sheng, Y., Mudide, A., Misu, M. R. H., Amin, N., & Tegmark, M. (2024) · arXiv

Logic, programming, and type systemsFormal Methods in Verification

Cited by 6

Opening the AI black box: program synthesis via mechanistic interpretability

Michaud, E. J., Liao, I., Lad, V., Liu, Z., Mudide, A., Loughridge, C., Guo, Z. C., Kheirkhah, T. R., Vukelić, M., & Tegmark, M. (2024) · arXiv

Explainable Artificial Intelligence (XAI)Evolutionary Algorithms and Applications

Cited by 3

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

A benchmark for vericoding: formally verified program synthesis

Bursuc, S., Ehrenborg, T., Lin, S., Astefanoaei, L., Chiosa, I. E., Kukovec, J., Singh, A., Butterley, O., Bizid, A., Dougherty, Q., et al. (2025) · arXiv

Logic, programming, and type systemsSoftware Engineering Research

Cited by 1