In Logical Induction, Garrabrant et al. "present a computable algorithm that assigns probabilities to every logical statement in a given formal language, and refines those probabilities over time." This algorithm has a number of nice properties like handling Godelian uncertainty, and learning statistical patterns in logical formulas. However, the applicability of this work remains unclear with, to my knowledge, only two papers having built on it significantly: Rational inductive agents, and 'Forecasting using incomplete models'.

Will 3 or more technical papers appear on Arxiv, post-2022, which build on Garrabrant's et al.'s work before 2025? This count will include empirical work which uses a more tractable approximation of the Garrabrant method.