Gabriele Venturato

Gabriele Venturato

gabventurato.bsky.social

PhD Student in Neurosymbolic AI @ DTAI Lab, KU Leuven

👤 Joined on 22 November 2024

384

Followers

293

Following

7

Total Posts

📜 Kullanıcı Geçmişi

  • 22 Kas 2024, 15:07
    🎉 Bluesky'e katıldı - İlk kullanıcı adı: @gabventurato.bsky.social

🚫 Blokladığı Kullanıcılar

❤️ Beğendiği Gönderiler

24 February 2026 12:22

If you care about enforcing constraints over time without breaking your computational resources, then read our new blog post over at @aihub.org! It focuses on showing how our neurosymbolic Markov models beat the SOTA in out-of-distribution generalisation and so much more.

Show Post

We’re excited to announce our final keynote speaker: @michaelhbowling.bsky.social (University of Alberta). 🎲🃏 In this talk, he will explore what drew him to explore using 40-year-old video games to test RL agents! Join us at @rl-conference.bsky.social to find out more about the Atari Benchmark!

Show Post

We developed a library to make logical reasoning embarrasingly parallel on the GPU. For those at ICLR 🇸🇬: you can get the juicy details tomorrow (poster #414 at 15:00). Hope to see you there!

Show Post

What is reasoning and have LLMs learned it? We answer these two questions in our new pre-print using the phase transition in random 3-SAT. arxiv.org/abs/2504.039... Together with @rishihazra95.bsky.social, @gabventurato.bsky.social and @lucderaedt.bsky.social Here is also a longer thread:

Show Post

Covid killed > 7M people, confirmed, and likely over 20M (“excess death”s). Would have been a lot more without PPEs & vaccines. Putin has annexed Crimea, invaded Ukraine, plus conflicts in Georgia and Syria; would have been a lot more without NATO. This is not the analogy David Sacks thinks it is.

Show Post

Select language

Install App

Install App