Michele Collevati

According to our database, Michele Collevati authored at least 2 papers between 2022 and 2024.

Collaborative distances:

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

2024

Leveraging Neurosymbolic AI for Slice Discovery.

Michele Collevati, Thomas Eiter, Nelson Higuera

Proceedings of the Neural-Symbolic Learning and Reasoning - 18th International Conference, 2024

2022

GPU parallelism for SAT solving heuristics.

Michele Collevati, Agostino Dovier, Andrea Formisano

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022