Nicola Balestra

According to our database, Nicola Balestra authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Recurrent Neural Networks for Guiding Proof Search in Propositional Logic.

Gianluca Amato, Nicola Balestra, Marco Maggesi, Maurizio Parton

Proceedings of the 26th Italian Conference on Theoretical Computer Science, 2025