Measuring the Intelligence of an Idealized Mechanical Knowing Agent. - Samuel Allen Alexander (SEFM Workshops, 2019)

Intelligence via ultrafilters: structural properties of some intelligence comparators of deterministic Legg-Hutter agents. - Samuel Allen Alexander (J. Artif. Gen. Intell., 2019)

AGI and the Knight-Darwin Law: Why Idealized AGI Reproduction Requires Collaboration. - Samuel Allen Alexander (AGI, 2020)

Short-Circuiting the Definition of Mathematical Knowledge for an Artificial General Intelligence. - Samuel Allen Alexander (SEFM, 2020)

The Archimedean trap: Why traditional reinforcement learning will probably not yield AGI. - Samuel Allen Alexander (J. Artif. Gen. Intell., 2020)

Reward-Punishment Symmetric Universal Intelligence. - Samuel Allen Alexander; Marcus Hutter (AGI, 2021)

Can Reinforcement Learning Learn Itself? A Reply to 'Reward is Enough'. - Samuel Allen Alexander (SEFM Workshops, 2021)

Representation and Invariance in Reinforcement Learning. - Samuel Allen Alexander; Arthur Paul Pedersen (CoRR, 2021)

Extended Subdomains: A Solution to a Problem of Hernández-Orallo and Dowe. - Samuel Allen Alexander (AGI, 2022)

Pseudo-visibility: A Game Mechanic Involving Willful Ignorance. - Samuel Allen Alexander; Arthur Paul Pedersen (FLAIRS, 2022)

Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox. - Alessandro Aldini; Samuel Allen Alexander; Pierluigi Graziani (SEFM Workshops, 2022)

Extending Environments to Measure Self-reflection in Reinforcement Learning. - Samuel Allen Alexander; Michael Castaneda; Kevin Compher; Oscar Martinez (J. Artif. Gen. Intell., 2022)

Universal Agent Mixtures and the Geometry of Intelligence. - Samuel Allen Alexander; David Quarel; Len Du; Marcus Hutter (AISTATS, 2023)

Strengthening Consistency Results in Modal Logic. - Samuel Allen Alexander; Arthur Paul Pedersen (TARK, 2023)

Explicit Legg-Hutter Intelligence Calculations Which Suggest Non-Archimedean Intelligence. - Samuel Allen Alexander; Arthur Paul Pedersen (SEFM, 2024)

Hyperreal differentiation with an idempotent ultrafilter. - Samuel Allen Alexander; Bryan Dawson (J. Log. Anal., 2024)