Post

Good morning from NeSy! We are very happy to welcome you here in Santa Cruz, and are glad to announce the conference is growing 📈 Check out the thread below for live updates from the conference 🦕

Now, @guyvdb.bsky.social is giving the opening keynote arguing why symbolic AI is still relevant in the age of LLMs... With the help of Shrek!

How can reverend Bayes help us to incorporate constraints? With NeSy of course 👀 With applications in non-toxic LLM generation and safe AI driving! @guyvdb.bsky.social

Did you know Neurosymbolic methods can beat 'the other's turf'? Just use a 100x smaller LM with symbolic constraints integrated via Ctrl-G to wipe the floor with GPT!🧹 arxiv.org/abs/2406.13892 @guyvdb.bsky.social

Behind all of these very nice methods are one central trick... Circuits! ➕✖️ These are tractable generative neural networks 😍

Monday afternoon was @tkipf.bsky.social 's beautiful keynote! Does object-centric representations still matter in the age of Generative AI where Transformers are key? Yes - But it's not part of the architecture: