Volume: Vol-4039 ICTCS 2025 | Year: 2025

Paper: « paper26 | paper18 | paper04 »

Recurrent Neural Networks for Guiding Proof Search in Propositional Logic

• Gianluca Amato
• Nicola Balestra
• Marco Maggesi
• Maurizio Parton

113-126 PDF