Jessica Taylor on Formalized Agent Foundations Papers

Jessica Taylor posted on X that someone formalized various agent foundations papers including Logical Induction which she helped author. She stated that the formalization caught an error about closure under finite perturbations although a modified statement still works. Taylor is a former MIRI research fellow with a background in CS and math from Stanford and is known for work in AI alignment, decision theory, and philosophy.