For context: Logical Induction https://arxiv.org/abs/1609.03543 https://arxiv.org/abs/1609.03543 Sadly the line of research seems to have been abandoned. Kind

For context: Logical Induction https://arxiv.org/abs/1609.03543 https://arxiv.org/abs/1609.03543 Sadly the line of research seems to have been abandoned. Kind of understandable with the ascent of LLMs: there is no time left for a multi-decade research program.