Gödel Machines: Fully Self-referential Optimal Universal Self-improvers

Reinforcement Learning: An Introduction

Sutton, R. S., & Barto, A. G. (1998) · IEEE Transactions on Neural Networks · doi:10.1109/tnn.1998.712192 · Cited by 27,225 · see citing works

Reinforcement Learning: An Introduction

Sutton, R. S., & Barto, A. (2005) · IEEE Transactions on Neural Networks · doi:10.1109/tnn.2004.842673 · Cited by 25,263 · see citing works

No free lunch theorems for optimization

Wolpert, D. H., & Macready, W. G. (1997) · IEEE Transactions on Evolutionary Computation · doi:10.1109/4235.585893 · Cited by 14,237 · see citing works

Advances in Neural Information Processing Systems 14

(2002) · The MIT Press eBooks · doi:10.7551/mitpress/1120.001.0001 · Cited by 9,184 · see citing works

Reinforcement Learning: A Survey

Kaelbling, L. P., Littman, M. L., & Moore, A. W. (1996) · Journal of Artificial Intelligence Research · doi:10.1613/jair.301 · Cited by 8,972 · see citing works

On computable numbers, with an application to the entscheidungsproblem

Turing, A. M. (1937) · Proceedings of the London Mathematical Society · doi:10.1112/plms/s2-42.1.230 · Cited by 8,283 · see citing works

Lecture Notes in Artificial Intelligence

Brézillon, P., & Bouquet, P. (1999) · Cited by 7,436 · see citing works

Some Studies in Machine Learning Using the Game of Checkers

Samuel, A. L. (1959) · IBM Journal of Research and Development · doi:10.1147/rd.33.0210 · Cited by 4,443 · see citing works

�ber den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik

Heisenberg, W. (1927) · Zeitschrift f�r Physik · doi:10.1007/bf01397280 · Cited by 4,278 · see citing works

An Introduction to Kolmogorov Complexity and Its Applications

Li, M., & Vitanyi, P. M. B. (2019) · Texts in computer science · doi:10.1007/978-3-030-11298-1 · Cited by 3,752 · see citing works

Adaptive Control Processes: A Guided Tour

Bellman, R. E. (1961) · doi:10.1515/9781400874668 · Cited by 2,802 · see citing works

Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

Gödel, K. (1931) · Monatshefte für Mathematik und Physik · doi:10.1007/bf01700692 · Cited by 2,395 · cited 5× · see citing works

Reinforcement learning

Barto, A. (1998) · IFAC Proceedings Volumes · doi:10.1016/s1474-6670(17)38315-5 · Cited by 2,172 · see citing works

Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

Gödel, K. (2006) · Monatshefte für Mathematik · doi:10.1007/s00605-006-0423-7 · Cited by 2,096 · see citing works

Godel, Escher, Bach: An Eternal Golden Braid.

Lieberson, J., & Hofstadter, D. R. (1980) · The Journal of Philosophy · doi:10.2307/2025598 · Cited by 2,080 · see citing works

Three approaches to the quantitative definition of information *

Kolmogorov, A. N. (1968) · International Journal of Computer Mathematics · doi:10.1080/00207166808803030 · Cited by 2,053 · see citing works

Programming in Prolog

Clocksin, W. F., & Mellish, C. (1984) · Springer eBooks · doi:10.1007/978-3-642-55481-0 · Cited by 2,047 · see citing works

10. Reinforcement learning

Zhang, B., Li, C., & Lin, N. (2020) · De Gruyter eBooks · doi:10.1515/9783110595567-011 · Cited by 1,939 · see citing works

An Introduction to Kolmogorov Complexity and Its Applications

Li, M., & Vitanyi, P. M. B. (1997) · Springer eBooks · doi:10.1007/978-1-4757-2606-0 · Cited by 1,792 · see citing works

A formal theory of inductive inference. Part II

Solomonoff, R. J. (1964) · Information and Control · doi:10.1016/s0019-9958(64)90131-7 · Cited by 1,758 · see citing works

Grundbegriffe der Wahrscheinlichkeitsrechnung

Kolmogoroff, A. (1933) · Springer eBooks · doi:10.1007/978-3-642-49888-6 · Cited by 1,742 · see citing works

Programming in Prolog

Clocksin, W., & Mellish, C. (1987) · Springer Berlin Heidelberg · doi:10.1007/978-3-642-97005-4 · Cited by 1,454

Some studies in machine learning using the game of checkers

Samuel, A. L. (2000) · IBM Journal of Research and Development · doi:10.1147/rd.441.0206 · Cited by 1,439 · see citing works

�ber quantentheoretische Umdeutung kinematischer und mechanischer Beziehungen.

Heisenberg, W. (1925) · The European Physical Journal A · doi:10.1007/bf01328377 · Cited by 1,393 · see citing works

Learning to Learn

Thrun, S., & Pratt, L. (1998) · Springer eBooks · doi:10.1007/978-1-4615-5529-2 · Cited by 1,291 · see citing works

A formal theory of inductive inference. Part I

Solomonoff, R. J. (1964) · Information and Control · doi:10.1016/s0019-9958(64)90223-2 · Cited by 1,192 · see citing works

Genetic Programming: An Introduction

Banzhaf, W., Keller, R. E., & Nordin, P. C. (1997) · Cited by 1,071 · see citing works

V. Adaptive Control Processes

Bellman, R. (1964) · IEEE Transactions on Circuit Theory · doi:10.1109/tct.1964.1082221 · Cited by 1,003 · see citing works

First-Order Logic and Automated Theorem Proving

Fitting, M. (1996) · Springer eBooks · doi:10.1007/978-1-4612-2360-3 · Cited by 950 · see citing works

Problems of Information Transmission

(2013) · Problems of Information Transmission · doi:10.1134/11122.1608-3253 · Cited by 930 · see citing works

No Free Lunch Theorems for SearchPreprint

Wolpert, D. H., & Macready, W. G. (1995) · RePEc: Research Papers in Economics · Cited by 927 · see citing works

A Machine-Independent Theory of the Complexity of Recursive Functions

Blum, M. (1967) · Journal of the ACM · doi:10.1145/321386.321395 · Cited by 835 · see citing works

A Theory of Program Size Formally Identical to Information Theory

Chaitin, G. J. (1975) · Journal of the ACM · doi:10.1145/321892.321894 · Cited by 831 · see citing works

Genetic Programming

Banzhaf, W., Fogarty, T. C., Schoenauer, M., & Poli, R. (1998) · Lecture notes in computer science · doi:10.1007/bfb0055923 · Cited by 825 · see citing works

Consciousness and neuroscience

Crick, F. (1998) · Cerebral Cortex · doi:10.1093/cercor/8.2.97 · Cited by 763 · see citing works

A Representation for the Adaptive Generation of Simple Sequential Programs

Cramer, N. L. (1985) · international conference on Genetic algorithms · Cited by 626 · see citing works

Learning to Learn Using Gradient Descent

Hochreiter, S., Younger, A. S., & Conwell, P. R. (2001) · Lecture notes in computer science · doi:10.1007/3-540-44668-0_13 · Cited by 575 · see citing works

In This Volume

Hooker, J., & Publishing, N. J. (2012) · Journal of Business Ethics Education · doi:10.5840/jbee201291 · Cited by 529 · see citing works

Über Möglichkeiten im Relativkalkül

Löwenheim, L. (1915) · Mathematische Annalen · doi:10.1007/bf01458217 · Cited by 398 · see citing works

Complexity-based induction systems: Comparisons and convergence theorems

Solomonoff, R. J. (1978) · IEEE Transactions on Information Theory · doi:10.1109/tit.1978.1055913 · Cited by 379 · see citing works

“All life is problem solving.”

Schweizer, P., & Zuerich, M. G. (2015) · Cited by 369 · see citing works

All Life is Problem Solving

Popper, K. (2013) · Routledge eBooks · doi:10.4324/9780203431900 · Cited by 281 · see citing works

Randomness conservation inequalities; information and independence in mathematical theories

Levin, L. A. (1984) · Information and Control · doi:10.1016/s0019-9958(84)80060-1 · Cited by 246 · see citing works

Shifting Inductive Bias with Success-Story Algorithm, Adaptive Levin Search, and Incremental Self-Improvement

Schmidhuber, J., Zhao, J., & Wiering, M. (1997) · Machine Learning · doi:10.1023/a:1007383707642 · Cited by 167 · see citing works

Optimal Ordered Problem Solver

Schmidhuber, J. (2004) · Machine Learning · doi:10.1023/b:mach.0000015880.99707.b2 · Cited by 162 · see citing works

Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen

Cantor, H. G. (1984) · Teubner-Archiv zur Mathematik · doi:10.1007/978-3-7091-9516-1_2 · Cited by 148 · see citing works

Discovering Neural Nets with Low Kolmogorov Complexity and High Generalization Capability

Schmidhuber, J. (1997) · Neural Networks · doi:10.1016/s0893-6080(96)00127-x · Cited by 138 · see citing works

Rechnender Raum

Zuse, K. (1969) · Vieweg+Teubner eBooks · doi:10.1007/978-3-663-02723-2 · Cited by 136 · see citing works

Properties of the Bucket Brigade

Holland, J. H. (1985) · international conference on Genetic algorithms · Cited by 122 · see citing works

A computer scientist's view of life, the universe, and everything

Schmidhuber, J. (1997) · Lecture notes in computer science · doi:10.1007/bfb0052088 · Cited by 119 · see citing works

The Speed Prior: A New Simplicity Measure Yielding Near-Optimal Computable Predictions

Schmidhuber, J. (2002) · Lecture notes in computer science · doi:10.1007/3-540-45435-7_15 · Cited by 111 · see citing works

Theory formation by heuristic search

Lenat, D. B. (1983) · Artificial Intelligence · doi:10.1016/s0004-3702(83)80004-6 · Cited by 101 · see citing works

Algorithmic Theories of EverythingPreprint

Schmidhuber, J. (2000) · arXiv (Cornell University) · doi:10.48550/arxiv.quant-ph/0011122 · Cited by 99 · see citing works

HIERARCHIES OF GENERALIZED KOLMOGOROV COMPLEXITIES AND NONENUMERABLE UNIVERSAL MEASURES COMPUTABLE IN THE LIMIT

Schmidhuber, J. (2002) · International Journal of Foundations of Computer Science · doi:10.1142/s0129054102001291 · Cited by 97 · see citing works

Reinforcement Learning in Markovian and Non-Markovian Environments

Schmidhuber, J. (1990) · Cited by 88 · see citing works

Simple Principles of Metalearning

Schmidhuber, J., Zhao, J., & Wiering, M. (1996) · doi:10.71910/supsi.7463 · Cited by 69 · see citing works

On Effective Procedures for Speeding Up Algorithms

Blum, M. (1971) · Journal of the ACM · doi:10.1145/321637.321648 · Cited by 65 · see citing works

Reinforcement Learning with Self-Modifying Policies

Schmidhuber, J., Zhao, J., & Schraudolph, N. N. (1998) · Springer eBooks · doi:10.1007/978-1-4615-5529-2_12 · Cited by 63 · see citing works

THE FASTEST AND SHORTEST ALGORITHM FOR ALL WELL-DEFINED PROBLEMS

Hütter, M. (2002) · International Journal of Foundations of Computer Science · doi:10.1142/s0129054102001199 · Cited by 61 · see citing works

Adaptive Agents and Multi-Agent Systems: Adaptation and Multi-Agent Learning

Alonso, E., Kudenko⋆, D., & Kazakov, D. (2003) · doi:10.1007/3-540-44826-8 · Cited by 56 · see citing works

A ‘Self-Referential’ Weight Matrix

Schmidhuber, J. (1993) · Springer eBooks · doi:10.1007/978-1-4471-2063-6_107 · Cited by 56 · see citing works

Foundations of computer science : potential--theory--cognition

Brauer, W., Freksa, C., Jantzen, M., et al. (1997) · Springer eBooks · Cited by 55 · see citing works

Towards a Universal Theory of Artificial Intelligence Based on Algorithmic Probability and Sequential Decisions

Hütter, M. (2001) · Lecture notes in computer science · doi:10.1007/3-540-44795-4_20 · Cited by 54 · see citing works

Discovering Solutions with Low Kolmogorov Complexity and High Generalization Capability

Schmidhuber, J. (1995) · Elsevier eBooks · doi:10.1016/b978-1-55860-377-6.50067-0 · Cited by 43 · see citing works

Self-Optimizing and Pareto-Optimal Policies in General Environments Based on Bayes-Mixtures

Hütter, M. (2002) · Lecture notes in computer science · doi:10.1007/3-540-45435-7_25 · Cited by 39 · see citing works

The New AI: General & Sound & Relevant for Physics

Schmidhuber, J. (2007) · Cognitive technologies · doi:10.1007/978-3-540-68677-4_6 · Cited by 30 · see citing works

Completely Self-referential Optimal Reinforcement Learners

Schmidhuber, J. (2005) · Lecture notes in computer science · doi:10.1007/11550907_36 · Cited by 28 · see citing works

Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements

Schmidhuber, J. (2003) · arXiv · doi:10.48550/arxiv.cs/0309048 · Cited by 24 · see citing works

Bias-Optimal Incremental Problem Solving

Schmidhuber, J. (2002) · Cited by 20 · see citing works

Gödel Machines: Towards a Technical Justification of Consciousness

Schmidhuber, J. (2005) · Lecture notes in computer science · doi:10.1007/978-3-540-32274-0_1 · Cited by 14 · see citing works

The New AI: General & Sound & Relevant for PhysicsPreprint

Schmidhuber, J. (2003) · arXiv (Cornell University) · Cited by 5 · see citing works

Deep learning in neural networks: an overview

Schmidhuber, J. (2015) · Neural Networks · doi:10.1016/j.neunet.2014.09.003 · Cited by 18,570 · see citing works

Formal theory of creativity, fun, and intrinsic motivation (1990–2010)

Schmidhuber, J. (2010) · IEEE Transactions on Autonomous Mental Development · doi:10.1109/tamd.2010.2056368 · Cited by 747 · see citing works

Artificial General Intelligence: Concept, State of the Art, and Future Prospects

Goertzel, B. (2014) · Journal of Artificial General Intelligence · doi:10.2478/jagi-2014-0001 · Cited by 525 · see citing works

Artificial Intelligence as a Positive and Negative Factor in Global Risk

Yudkowsky, E. (2008) · Global Catastrophic Risks · doi:10.1093/oso/9780198570509.003.0021 · Cited by 431 · see citing works

Evolved Policy GradientsPreprint

Houthooft, R., Chen, R. Y., Isola, P., Stadie, B. C., Wolski, F., Ho, J., & Abbeel, P. (2018) · arXiv (Cornell University) · doi:10.48550/arxiv.1802.04821 · Cited by 160 · see citing works

Driven by Compression Progress: A Simple Principle Explains Essential Aspects of Subjective Beauty, Novelty, Surprise, Interestingness, Attention, Curiosity, Creativity, Art, Science, Music, Jokes

Schmidhuber, J. (2009) · Lecture notes in computer science · doi:10.1007/978-3-642-02565-5_4 · Cited by 141 · see citing works

PowerPlay: Training an Increasingly General Problem Solver by Continually Searching for the Simplest Still Unsolvable Problem

Schmidhuber, J. (2013) · Frontiers in Psychology · doi:10.3389/fpsyg.2013.00313 · Cited by 121 · see citing works

A Tutorial on Meta-Reinforcement Learning

Beck, J., Vuorio, R., Liu, E. Z., Xiong, Z., Zintgraf, L., Finn, C., & Whiteson, S. (2025) · Foundations and Trends® in Machine Learning · doi:10.1561/2200000080 · Cited by 132 · see citing works

Intelligence Explosion: Evidence and Import

Muehlhauser, L., & Salamon, A. (2012) · The frontiers collection · doi:10.1007/978-3-642-32560-1_2 · Cited by 84 · see citing works

Universal Artificial Intelligence

Everitt, T., & Hütter, M. (2018) · Studies in systems, decision and control · doi:10.1007/978-3-319-64816-3_2 · Cited by 70 · see citing works

The Singularity and Machine Ethics

Muehlhauser, L., & Helm, L. (2012) · The frontiers collection · doi:10.1007/978-3-642-32560-1_6 · Cited by 62 · see citing works

Ultimate Cognition à la Gödel

Schmidhuber, J. (2009) · Cognitive Computation · doi:10.1007/s12559-009-9014-y · Cited by 59 · see citing works

The Computational Origin of Representation

Piantadosi, S. T. (2020) · Minds and Machines · doi:10.1007/s11023-020-09540-9 · Cited by 62 · see citing works

Complex Value Systems in Friendly AI

Yudkowsky, E. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-22887-2_48 · Cited by 57 · see citing works

One model for the learning of language

Yang, Y., & Piantadosi, S. T. (2022) · Proceedings of the National Academy of Sciences · doi:10.1073/pnas.2021865119 · Cited by 50 · see citing works

Simple Algorithmic Theory of Subjective Beauty, Novelty, Surprise, Interestingness, Attention, Curiosity, Creativity, Art, Science, Music, Jokes

Schmidhuber, J. (2009) · Cited by 51 · see citing works

Self in NARS, an AGI System

Wang, P., Li, X., & Hammer, P. (2018) · Frontiers in Robotics and AI · doi:10.3389/frobt.2018.00020 · Cited by 37 · see citing works

Ontogenetic and Phylogenetic Reinforcement Learning

Togelius, J., Schaul, T., Wierstra, D., Igel, C., Gomez, F. J., & Schmidhuber, J. (2009) · mediaTUM (Technical University of Munich) · Cited by 35 · see citing works

Towards Practical Autoconstructive Evolution: Self-Evolution of Problem-Solving Genetic Programming Systems

Spector, L. C. (2010) · Genetic and evolutionary computation · doi:10.1007/978-1-4419-7747-2_2 · Cited by 25 · see citing works

Cognitive Evaluation of Machine Learning Agents

Kadam, S., & Vaidya, V. G. (2020) · Cognitive Systems Research · doi:10.1016/j.cogsys.2020.11.003 · Cited by 23 · see citing works

Shifting attention to dynamics: Self-reconfiguration of neural networks

Kirst, C., Modes, C. D., & Magnasco, M. O. (2017) · Current Opinion in Systems Biology · doi:10.1016/j.coisb.2017.04.006 · Cited by 22 · see citing works

Analysis of Types of Self-Improving Software

Yampolskiy, R. V. (2015) · Lecture notes in computer science · doi:10.1007/978-3-319-21365-1_39 · Cited by 21 · see citing works

Self-Modification of Policy and Utility Function in Rational Agents

Everitt, T., Filan, D., Daswani, M., et al. (2016) · Lecture notes in computer science · doi:10.1007/978-3-319-41649-6_1 · Cited by 21 · see citing works

Self-Programming: Operationalizing Autonomy

Nivel, E., & Þórisson, K. R. (2009) · doi:10.2991/agi.2009.45 · Cited by 19 · see citing works

Complex Value Systems are Required to Realize Valuable Futures

Yudkowsky, E. (2011) · Cited by 19 · see citing works

Cognitive synergy: A universal principle for feasible general intelligence

Goertzel, B. (2009) · IEEE International Conference on Cognitive Informatics · doi:10.1109/coginf.2009.5250694 · Cited by 18 · see citing works

The General Theory of General Intelligence: A Pragmatic Patternist PerspectivePreprint

Goertzel, B. (2021) · arXiv (Cornell University) · doi:10.48550/arxiv.2103.15100 · Cited by 18 · see citing works

Growing Recursive Self-Improvers

Steunebrink, B. R., Þórisson, K. R., & Schmidhuber, J. (2016) · Lecture notes in computer science · doi:10.1007/978-3-319-41649-6_13 · Cited by 17 · see citing works

General intelligence requires rethinking exploration

Jiang, M., Rocktäschel, T., & Grefenstette, E. (2023) · Royal Society Open Science · doi:10.1098/rsos.230539 · Cited by 16 · see citing works

General intelligence requires rethinking exploration

Jiang, M., Rocktäschel, T., & Grefenstette, E. (2022) · arXiv · doi:10.48550/arxiv.2211.07819 · Cited by 17

Exploration from Generalization Mediated by Multiple Controllers

Dayan, P. (2012) · Springer eBooks · doi:10.1007/978-3-642-32375-1_4 · Cited by 15 · see citing works

From Homo Sapiens to Robo Sapiens: The Evolution of Intelligence

Raveh, A. R., & Tamir, B. (2018) · Information · doi:10.3390/info10010002 · Cited by 15 · see citing works

Plurality: The End of Singularity?

Plebe, A., & Perconti, P. (2020) · World-systems evolution and global futures · doi:10.1007/978-3-030-33730-8_8 · Cited by 16 · see citing works

A Family of Gödel Machine Implementations

Steunebrink, B. R., & Schmidhuber, J. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-22887-2_29 · Cited by 14 · see citing works

Hybrid Strategies Towards Safe “Self-Aware” Superintelligent Systems

Aliman, N.-M., & Kester, L. J. H. M. (2018) · Lecture notes in computer science · doi:10.1007/978-3-319-97676-1_1 · Cited by 14 · see citing works

Maximizing Fun by Creating Data with Easily Reducible Subjective Complexity

Schmidhuber, J. (2012) · Springer eBooks · doi:10.1007/978-3-642-32375-1_5 · Cited by 13 · see citing works

Gödel Machines: Towards a Technical Justification of Consciousness

Schmidhuber, J. (2005) · Lecture notes in computer science · doi:10.1007/978-3-540-32274-0_1 · Cited by 14 · see citing works

Towards an Actual Gödel Machine Implementation: a Lesson in Self-Reflective Systems

Steunebrink, B. R., & Schmidhuber, J. (2012) · Atlantis Thinking Machines · doi:10.2991/978-94-91216-62-6_10 · Cited by 11 · see citing works

Engineering a lunar photolithoautotroph to thrive on the moon – life or simulacrum?

Ellery, A. A. (2018) · International Journal of Astrobiology · doi:10.1017/s1473550417000532 · Cited by 10 · see citing works

Artificial Scientists a Artists Based on the Formal Theory of Creativity

Schmidhuber, J. (2010) · Artificial General Intelligence · doi:10.2991/agi.2010.32 · Cited by 10 · see citing works

New Millennium AI and the Convergence of History: Update of 2012

Schmidhuber, J. (2012) · The frontiers collection · doi:10.1007/978-3-642-32560-1_4 · Cited by 12 · see citing works

Intelligence as Inference or Forcing Occam on the World

Sunehag, P., & Hütter, M. (2014) · Lecture notes in computer science · doi:10.1007/978-3-319-09274-4_18 · Cited by 8 · see citing works

On the plurality of gods

Steinhart, E. C. (2012) · Religious Studies · doi:10.1017/s0034412512000285 · Cited by 9 · see citing works

Learning to learn with active adaptive perception

Bossens, D. M., Townsend, N., & Sobey, A. J. (2019) · Neural Networks · doi:10.1016/j.neunet.2019.03.006 · Cited by 7 · see citing works

Making Universal Induction Efficient by Specialization

Potapov, A. S., & Rodionov, S. A. (2014) · Lecture notes in computer science · doi:10.1007/978-3-319-09274-4_13 · Cited by 7 · see citing works

Holistic Workflow for Autonomous History Matching using Intelligent Agents: A Conceptual Approach

Zangl, G., Al-Kinani, A., & Stundner, M. (2011) · SPE Digital Energy Conference and Exhibition · doi:10.2118/143842-ms · Cited by 6 · see citing works

Editorial: Approaches and Assumptions of Self-Programming in Achieving Artificial General Intelligence

Þórisson, K. R., Nivel, E., Sanz, R., et al. (2013) · Journal of Artificial General Intelligence · doi:10.2478/v10229-011-0017-1 · Cited by 6 · see citing works

AIXI, FEP-AI, and Integrated World Models: Towards a Unified Understanding of Intelligence and Consciousness

Safron, A. (2023) · Communications in computer and information science · doi:10.1007/978-3-031-28719-0_18 · Cited by 5 · see citing works

Stochastic Tasks: Difficulty and Levin Search

Hernández‐Orallo, J. (2015) · Lecture notes in computer science · doi:10.1007/978-3-319-21365-1_10 · Cited by 5 · see citing works

Learning to Solve Single Variable Linear Equations by Universal Search with Probabilistic Program Graphs

Paul, S. K., Gupta, P., & Bhaumik, P. (2019) · Advances in intelligent systems and computing · doi:10.1007/978-3-030-16681-6_31 · Cited by 5 · see citing works

Semantics Beyond Language

Bołtuć, P., & Bołtuć, M. I. (2019) · Advances in intelligent systems and computing · doi:10.1007/978-3-030-25719-4_6 · Cited by 5 · see citing works

Competent Program Evolution, Doctoral Dissertation, December 2006

Looks, M. (2006) · Open Scholarship Institutional Repository (Washington University in St. Louis) · doi:10.7936/k7kd1w8c · Cited by 5 · see citing works

Mixing Cognitive Science Concepts with Computer Science Algorithms and Data Structures: An Integrative Approach to Strong AI.

Looks, M., & Goertzel, B. (2006) · Cited by 5 · see citing works

QKSA: Quantum Knowledge Seeking Agent

Sarkar, A., Al-Ars, Z., & Bertels, K. (2023) · Lecture notes in computer science · doi:10.1007/978-3-031-19907-3_37 · Cited by 5 · see citing works

Digital Afterlives

Steinhart, E. C. (2017) · Palgrave Macmillan UK eBooks · doi:10.1057/978-1-137-48609-7_13 · Cited by 4 · see citing works

Visual Goal-Directed Meta-Imitation Learning

Rivera, C. G., Handelman, D. A., Ratto, C. R., et al. (2022) · IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) · doi:10.1109/cvprw56347.2022.00421 · Cited by 4 · see citing works

Training Learned Optimizers with Randomly Initialized Learned OptimizersPreprint

Metz, L., Freeman, C. D., Maheswaranathan, N., & Sohl‐Dickstein, J. (2021) · arXiv (Cornell University) · doi:10.48550/arxiv.2101.07367 · Cited by 4 · see citing works

Entropic boundary conditions towards safe artificial superintelligence

Núñez-Corrales, S., & Jakobsson, E. (2021) · Journal of Experimental & Theoretical Artificial Intelligence · doi:10.1080/0952813x.2021.1952653 · Cited by 3 · see citing works

Reinforcement Learning

Gatti, C. J. (2014) · Springer theses · doi:10.1007/978-3-319-12197-0_2 · Cited by 4 · see citing works

Value Cores for Inner and Outer Alignment: Simulating Personality Formation via Iterated Policy Selection and Preference Learning with Self-World Modeling Active Inference Agents

Safron, A., Sheikhbahaee, Z., Hay, N., Orchard, J., & Hoey, J. (2023) · Communications in computer and information science · doi:10.1007/978-3-031-28719-0_24 · Cited by 3 · see citing works

Intelligence Explosion FAQ

Muehlhauser, L. (2013) · Cited by 3 · see citing works

Omega: An Architecture for AI Unification

Özkural, E. (2020) · Lecture notes in computer science · doi:10.1007/978-3-030-52152-3_28 · Cited by 3 · see citing works

Cognitive Bias for Universal Algorithmic IntelligencePreprint

Potapov, A. S., Rodionov, S. A., Myasnikov, A., et al. (2012) · arXiv (Cornell University) · doi:10.48550/arxiv.1209.4290 · Cited by 3 · see citing works

Program Evolution for General Intelligence

Looks, M. (2007) · Artificial General Intelligence · Cited by 3 · see citing works

Quantum Accelerated Estimation of Algorithmic Information.Preprint

Sarkar, A., Al-Ars, Z., & Bertels, K. (2020) · arXiv (Cornell University) · Cited by 4 · see citing works

DarwinX: Evolving Agent Harnesses Through Natural Selection

Zhang, Y., Dai, Y., Tan, J., Yang, L., Mullur, R., Hoang, T., Hu, Z., Zhu, J., Mui, P., Savarese, S., et al. (2026) · arXiv · doi:10.48550/arxiv.2608.07545 · Cited by 1 · see citing works

The Evolution of Computational Agency

Srinivasa, S., & Deshmukh, J. (2020) · Advances in computer and electrical engineering book series · doi:10.4018/978-1-7998-2975-1.ch001 · Cited by 3 · see citing works

Univalent Foundations of AGI are (not) All You Need

Potapov, A. S., & Bogdanov, V. (2022) · Lecture notes in computer science · doi:10.1007/978-3-030-93758-4_19 · Cited by 2 · see citing works

Bridging AGI Theory and Practice with Galois Connections

Goertzel, B. (2023) · Lecture notes in computer science · doi:10.1007/978-3-031-33469-6_12 · Cited by 2 · see citing works

Strategic Teaching and Learning in Games

Schipper, B. C. (2022) · American Economic Journal Microeconomics · doi:10.1257/mic.20170139 · Cited by 2 · see citing works

Gödel Agents in a Scalable Synchronous Agent Framework

Zimmermann, J., Henze, H. H., & Cremers, A. B. (2015) · Lecture notes in computer science · doi:10.1007/978-3-319-21365-1_41 · Cited by 2 · see citing works

Solving Partially Observable Environments with Universal Search Using Dataflow Graph-Based Programming Model

Paul, S. K., & Bhaumik, P. (2021) · IETE Journal of Research · doi:10.1080/03772063.2021.2004461 · Cited by 2 · see citing works

Universal Psychometrics Tasks: difficulty, composition and decompositionPreprint

Hernández‐Orallo, J. (2015) · arXiv (Cornell University) · doi:10.48550/arxiv.1503.07587 · Cited by 2 · see citing works

What Must a World Be That a Humanlike Intelligence May Develop In It

Goertzel, B. (2009) · Cited by 2 · see citing works

SuperARC: a test for artificial superintelligence based on compressed modelling, recursive prediction and problem complexity

Hernández-Espinosa, A., Ozelim, L., Abrahão, F. S., & Zenil, H. (2026) · Nature Communications · doi:10.1038/s41467-026-73289-5 · Cited by 1 · see citing works

Program Search as a Path to Artificial General Intelligence

Kaiser, Ł. (2007) · Cognitive technologies · doi:10.1007/978-3-540-68677-4_9 · Cited by 1 · see citing works

Analysis of Algorithms and Partial Algorithms

MacFie, A. (2016) · Lecture notes in computer science · doi:10.1007/978-3-319-41649-6_29 · Cited by 1 · see citing works

Draft: Deep Learning in Neural Networks: An Overview

Idsia, L. (2014) · Cited by 1 · see citing works

Optimal Direct Policy Search

Glasmachers, T., & Schmidhuber, J. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-22887-2_6 · Cited by 1 · see citing works

Real-World Limits to Algorithmic Intelligence

Pape, L., & Kok, A. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-22887-2_49 · Cited by 1 · see citing works

Reasoning with Bounded Cognitive Resources

Nizamani, A. R. (2015) · Gothenburg University Publications Electronic Archive (Gothenburg University) · Cited by 1 · see citing works

Self-Modification of Policy and Utility Function in Rational AgentsPreprint

Everitt, T., Filan, D., Daswani, M., et al. (2016) · arXiv (Cornell University) · doi:10.48550/arxiv.1605.03142 · Cited by 1 · see citing works

A Gentle Introduction to Quantum Computing Algorithms with Applications to Universal PredictionPreprint

Catt, E., & Hütter, M. (2020) · arXiv (Cornell University) · doi:10.48550/arxiv.2005.03137 · Cited by 1 · see citing works

Self-Referential Introspection in Large Language Models: The Critical Threshold for Recursive Self-Improvement

Zhang, J., Yuan, B., & Zhang, Q. (2026) · Entropy · doi:10.3390/e28090951

RSIGym: A Flexible Environment for Recursive Self-Improvement

Meng, F., Du, L., Lu, H., Chen, Q., Zhao, Z., Wu, Z., Zhuo, J., Hu, M., & Shieh, M. Q. (2026) · arXiv · doi:10.48550/arxiv.2610.10310

Mendel Gödel Machine: Recursive Self-Improving Coding Agents via Comparative Evolution

Liu, C., Liu, Y., Yan, S., Tresp, V., & Ma, Y. (2026) · arXiv · doi:10.48550/arxiv.2608.07645

A Representation Theorem for Decisions about Causal Models

Dewey, D. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-35506-6_7

The new AI is general and mathematically rigorous

Schmidhuber, J. (2010) · Frontiers of Electrical and Electronic Engineering in China · doi:10.1007/s11460-010-0105-z

Lifelong credit assignment with the success-story algorithm

Schmidhuber, J. (2011) · National Conference on Artificial Intelligence

Serious Computational Science of Intelligence

Bringsjord, S., & Naveen Sundar, G. (2010)

Ideal, Observable, and Unpredictable Dynamics

Kupervasser, O. (2017) · Elsevier eBooks · doi:10.1016/b978-0-12-812801-5.00005-x

Quantum Algorithms for Universal Prediction

Catt, E. (2018) · ANU Open Research (Australian National University) · doi:10.25911/5d9efb497e1ea

Le Stack noir

Bratton, B. H. (2019) · UGA Éditions eBooks · doi:10.4000/books.ugaeditions.12007

Knowledge accumulating: The general pattern of learningPreprint

Xu, Z., & Liu, H. (2021) · arXiv (Cornell University) · doi:10.48550/arxiv.2108.03988

Visual Goal-Directed Meta-Learning with Contextual Planning NetworksPreprint

Rivera, C. G., & Handelman, D. A. (2021) · arXiv (Cornell University) · doi:10.48550/arxiv.2111.09908

Appendices

(2017) · Elsevier eBooks · doi:10.1016/b978-0-12-812801-5.00021-8

Towards Formalization of Constructivist Seed AI

Paul, S. K., & Bhaumik, P. (2022) · Lecture notes in networks and systems · doi:10.1007/978-981-19-2130-8_6

The Philosophical Playing Field of the Book, “The Prospect of a Humanitarian AI”, by Carlos Montemayor

del Riego, V. M. P. (2024) · Journal of Artificial Intelligence and Consciousness · doi:10.1142/s2705078524400010

The Darwin–Gödel Drug Discovery Machine (DGDM): A Self-Improving AI FrameworkPreprint

Wu, X., Zhang, X., Kang, Y., Xu, Q., Wang, H.-G., & Chen, Z. (2025) · bioRxiv (Cold Spring Harbor Laboratory) · doi:10.1101/2025.08.21.671415

Towards Emergent AGI: Self-Preservation and Reproduction as Foundational Drives

Bouneffouf, D. (2026) · IEEE International Conference on Acoustics Speech and Signal Processing · doi:10.1109/icassp55912.2026.11463155

Mathematical Proofs 101: How Proofs Should Be Read, Written, and TaughtPreprint

van Bommel, C. M. (2018) · arXiv (Cornell University) · doi:10.48550/arxiv.1806.06892

Proof

Nowlan, R. A. (2017) · SensePublishers eBooks · doi:10.1007/978-94-6300-893-8_37

Combining Pencil/Paper Proofs and Formal Proofs, A Challenge for Artificial Intelligence and Mathematics Education

Narboux, J., & Durand-Guerrier, V. (2022) · Mathematics education in the digital era · doi:10.1007/978-3-030-86909-0_8 · Cited by 5 · see citing works

Passages of ProofPreprint

Calude, C. S., Calude, E., & Marcus, S. (2003) · arXiv (Cornell University)

Do Generic Proofs Improve Proof Comprehension?

Lew, K., Weber, K., & Mejía-Ramos, J. P. (2020) · Journal of Educational Research in Mathematics · doi:10.29275/jerm.2020.08.sp.1.229 · Cited by 10 · see citing works