Sotabase

Career

· Bachelor's degree, KU Leuven
· Master's Degree, KU Leuven
· PhD Student, KU Leuven
· Postdoctoral Researcher in Artificial Intelligence, KU Leuven

Publications (24)

Can Large Language Models Reason? A Characterization via 3-SAT
arXiv.org · 2024
16
cited
Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition
arXiv.org · 2025
9
cited
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker
Time · 2021
9
cited
SAT Meets Tableaux for Linear Temporal Logic Satisfiability
Journal of automated reasoning · 2024
8
cited
Relational Neurosymbolic Markov Models
arXiv.org · 2024
4
cited
Neurosymbolic Markov Models
3
cited
Neurosymbolic Reinforcement Learning: Playing MiniHack with Probabilistic Logic Shields
AAAI Conference on Artificial Intelligence · 2025
1
cited
Towards Tractable Dynamic Decision Making With Circuits
2022
1
cited
Belief Re-Use in Partially Observable Monte Carlo Tree Search
International Conference on Agents and Artificial Intelligence · 2025
Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation
AAAI Conference on Artificial Intelligence · 2024
Neurosymbolic Reinforcement Learning With Sequential Guarantees
Sotabase
Gabriele Venturato | Researcher Profile | Sotabase | Sotabase