Santiago Hernández-Orozco

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 12

Top Topics

Decomposition Method

Theorem Proving

Convergence Rate

Supervised Machine Learning

Top Venues

Int. J. Parallel Emergent Distributed Syst.

Frontiers Artif. Intell.

Publications

Felipe S. Abrahão, Santiago Hernández-Orozco, Narsis A. Kiani, Jesper Tegnér, Hector Zenil
Assembly Theory is an approximation to algorithmic complexity based on LZ compression that does not explain selection or evolution. CoRR (2024)
Santiago Hernández-Orozco, Francisco Hernández Quiroz, Hector Zenil, Wilfried Sieg
Shortening of Proof Length is Elusive for Theorem Provers. Parallel Process. Lett. 30 (4) (2020)
Santiago Hernández-Orozco, Hector Zenil, Jürgen Riedel, Adam Uccello, Narsis Aftab Kiani, Jesper Tegnér
Algorithmic Probability-Guided Machine Learning on Non-Differentiable Spaces. Frontiers Artif. Intell. 3 (2020)
Hector Zenil, Liliana Badillo, Santiago Hernández-Orozco, Francisco Hernández Quiroz
Coding-theorem like behaviour and emergence of the universal distribution from resource-bounded algorithmic probability. Int. J. Parallel Emergent Distributed Syst. 34 (2) (2019)
Santiago Hernández-Orozco, Hector Zenil, Jürgen Riedel, Adam Uccello, Narsis Aftab Kiani, Jesper Tegnér
Algorithmic Probability-guided Supervised Machine Learning on Non-differentiable Spaces. CoRR (2019)
Santiago Hernández-Orozco, Francisco Hernández Quiroz, Hector Zenil
Undecidability and Irreducibility Conditions for Open-Ended Evolution and Emergence. Artif. Life 24 (1) (2018)
Hector Zenil, Santiago Hernández-Orozco, Narsis Aftab Kiani, Fernando Soler-Toscano, Antonio Rueda-Toicen, Jesper Tegnér
A Decomposition Method for Global Evaluation of Shannon Entropy and Local Estimations of Algorithmic Complexity. Entropy 20 (8) (2018)
Hector Zenil, Liliana Badillo, Santiago Hernández-Orozco, Francisco Hernández Quiroz
Coding-theorem Like Behaviour and Emergence of the Universal Distribution from Resource-bounded Algorithmic Probability. CoRR (2017)
Santiago Hernández-Orozco, Hector Zenil, Narsis Aftab Kiani
Algorithmically probable mutations reproduce aspects of evolution such as convergence rate, genetic memory, modularity, diversity explosions, and mass extinction. CoRR (2017)
Hector Zenil, Fernando Soler-Toscano, Narsis Aftab Kiani, Santiago Hernández-Orozco, Antonio Rueda-Toicen
A Decomposition Method for Global Evaluation of Shannon Entropy and Local Estimations of Algorithmic Complexity. CoRR (2016)
Santiago Hernández-Orozco, Francisco Hernández Quiroz, Hector Zenil
The Limits of Decidable States on Open-Ended Evolution and Emergence. CoRR (2016)
Santiago Hernández-Orozco, Francisco Hernández Quiroz, Hector Zenil, Wilfried Sieg
Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value. CoRR (2015)