Gabriele Venturato

According to our database, Gabriele Venturato authored at least 8 papers between 2021 and 2025.

Collaborative distances:

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

2025

Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition.

Rishi Hazra, Gabriele Venturato, Pedro Zuidberg Dos Martires, Luc De Raedt

CoRR, April, 2025

Belief Re-Use in Partially Observable Monte Carlo Tree Search.

Ebert Theeuwes, Gabriele Venturato, Gavin Rens

Proceedings of the 17th International Conference on Agents and Artificial Intelligence, 2025

Relational Neurosymbolic Markov Models.

Lennert De Smet, Gabriele Venturato, Luc De Raedt, Giuseppe Marra

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

Neurosymbolic Reinforcement Learning: Playing MiniHack with Probabilistic Logic Shields.

David Debot, Gabriele Venturato, Giuseppe Marra, Luc De Raedt

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

SAT Meets Tableaux for Linear Temporal Logic Satisfiability.

Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato

J. Autom. Reason., June, 2024

Can Large Language Models Reason? A Characterization via 3-SAT.

Rishi Hazra, Gabriele Venturato, Pedro Zuidberg Dos Martires, Luc De Raedt

CoRR, 2024

Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation.

Gabriele Venturato, Vincent Derkinderen, Pedro Zuidberg Dos Martires, Luc De Raedt

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2021

Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker.

Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato

Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021