On Logical Extrapolation for Mazes with Recurrent and Implicit Networks. - Brandon Knutson; Amandin Chyba Rabeendran; Michael I. Ivanitskiy; Jordan Pettyjohn; Cecilia G. Diniz Behn; Samy Wu Fung; Daniel McKenzie (CoRR, 2024)