🦕NeSy 2025 is officially closed! Thanks again to everyone for attending this successful edition 😊

We will see you 1-4 September in another beautiful place: Lisbon! 🇵🇹
nesy-ai.org/conferences/...

Next, Octavio Arriaga discussed the importance of physics in learning algorithms, in particular in computer vision and robotics 🤖⚛️

And @emilevankrieken.com introduced new work on reasoning shortcuts: Be aware of them when you apply your NeSy predictors ♻️!

Today, @yuqichengzhu.bsky.social opened the oral session with a beautiful talk on a Neurosymbolic extension of Retrieval Augmented Generation (RAG) with an argumentation framework

Good morning from the final day of NeSy 2025 🦕

Yesterday we had another successful poster session outside, just after the weather cleared up! 🌞

Now, Deborah McGuinness is giving her keynote talk, reflecting on how insights from her career can help grow the field of Neurosymbolic to where it should be:
At the top 🚀

We're glad to announce the NeSy 2025 Test of Time award for "Probabilistic Inference Modulo Theories"!

🏆Rodrigo de Salvo Braz was here to accept the award.

This is groundwork for recent NeSy approaches like DeepSeaProbLog and the probabilistic algebraic layer.

Good morning from day 2 at NeSy in Santa Cruz!

Starting with a nice oral session, such as studying how well neural networks learn boolean functions (with some surprising results!) and verifying NeSy models for robustness

@luislamb.bsky.social

Object representations can be used in different settings:
- Videos
- 3D modelling
- Robotic representations
This especially helps in the low-data regime!

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:

Behind all of these very nice methods are one central trick...

Circuits! ➕✖️
These are tractable generative neural networks 😍

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

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

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!

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 🦕

Our second keynote speaker is @tkipf.bsky.social, who will discuss object-centric representation learning!

Do objects need a special treatment for generative AI and world models? 🤔 We will hear on Monday!

It is almost time to welcome you all in Santa Cruz! 🦕

We will start with an exciting and timely keynote by
@guyvdb.bsky.social
on "Symbolic Reasoning in the Age of Large Language Models" 👀

📆 Full conference schedule: 2025.nesyconf.org/schedule/

We are excited to announce the kick-off of the OPTIMAS × NeSy 2025 Hackathon!

Join OPTIMAS on Tuesday and Wednesday afternoon for more details (see 2025.nesyconf.org/schedule/)

hackathon.optimas.ai