Recurrent Neural Networks for Guiding Proof Search in Propositional Logic. - Gianluca Amato; Nicola Balestra; Marco Maggesi; Maurizio Parton (ICTCS, 2025)