Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value. - Santiago Hernández-Orozco; Francisco Hernández Quiroz; Hector Zenil; Wilfried Sieg (CoRR, 2015)

The Limits of Decidable States on Open-Ended Evolution and Emergence. - Hector Zenil; Francisco Hernández Quiroz; Santiago Hernández-Orozco (ALIFE, 2016)

Algorithmically probable mutations reproduce aspects of evolution such as convergence rate, genetic memory, modularity, diversity explosions, and mass extinction. - Santiago Hernández-Orozco; Hector Zenil; Narsis Aftab Kiani (CoRR, 2017)

Undecidability and Irreducibility Conditions for Open-Ended Evolution and Emergence. - Santiago Hernández-Orozco; Francisco Hernández Quiroz; Hector Zenil (Artif. Life, 2018)

A Decomposition Method for Global Evaluation of Shannon Entropy and Local Estimations of Algorithmic Complexity. - Hector Zenil; Santiago Hernández-Orozco; Narsis Aftab Kiani; Fernando Soler-Toscano; Antonio Rueda-Toicen; Jesper Tegnér (Entropy, 2018)

Algorithmic probability-driven and open-ended evolution - Santiago Hernández-Orozco (2018)

Algorithmic Probability-guided Supervised Machine Learning on Non-differentiable Spaces. - Santiago Hernández-Orozco; Hector Zenil; Jürgen Riedel; Adam Uccello; Narsis Aftab Kiani; Jesper Tegnér (CoRR, 2019)

Coding-theorem like behaviour and emergence of the universal distribution from resource-bounded algorithmic probability. - Hector Zenil; Liliana Badillo; Santiago Hernández-Orozco; Francisco Hernández Quiroz (Int. J. Parallel Emergent Distributed Syst., 2019)

Algorithmic Probability-Guided Machine Learning on Non-Differentiable Spaces. - Santiago Hernández-Orozco; Hector Zenil; Jürgen Riedel; Adam Uccello; Narsis Aftab Kiani; Jesper Tegnér (Frontiers Artif. Intell., 2020)

Shortening of Proof Length is Elusive for Theorem Provers. - Santiago Hernández-Orozco; Francisco Hernández Quiroz; Hector Zenil; Wilfried Sieg (Parallel Process. Lett., 2020)

Assembly Theory is an approximation to algorithmic complexity based on LZ compression that does not explain selection or evolution. - Felipe S. Abrahão; Santiago Hernández-Orozco; Narsis A. Kiani; Jesper Tegnér; Hector Zenil (CoRR, 2024)

Assembly Theory Reduced to Shannon Entropy and Rendered Redundant by Naive Statistical Algorithms. - Luan Ozelim; Abicumaran Uthamacumaran; Felipe S. Abrahão; Santiago Hernández-Orozco; Narsis A. Kiani; Jesper Tegnér; Hector Zenil (CoRR, 2024)