NeSy 2025 Conference
@nesyconf.org
460 followers 160 following 33 posts
19th International conference on Neurosymbolic Learning and Reasoning UC Santa Cruz, Santa Cruz, California 8 to 10 September 2025 https://nesy-ai.org/ https://2025.nesyconf.org
Posts Media Videos Starter Packs
Pinned
🦕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/...
Reposted by NeSy 2025 Conference
🌊 Had an amazing time at NeSy 2025 @nesyconf.org in Santa Cruz! Very well-organized conference, great talks, inspiring discussion and of course enjoying the beautiful beach and Bay Area vibes. 🏖️✨

#NeSy2025 #neurosymbolicAI #SantaCruz
🦕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
Yes, we are planning to share the recordings after the conference!
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 🦕
Yes, we hope to share the keynotes after 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
Reposted by NeSy 2025 Conference
🚨 First Call for Participation – NeSy 2025
📍 Sept 8–10 | Santa Cruz, CA
Join the longest-running conference on neurosymbolic AI!

Our keynote speakers:
@guyvdb.bsky.social
@tkipf.bsky.social
Deborah McGuinness
@garymarcus.bsky.social

More info 👇
🚨 First Call for Participation – NeSy 2025
📍 Sept 8–10 | Santa Cruz, CA
Join the longest-running conference on neurosymbolic AI!

Our keynote speakers:
@guyvdb.bsky.social
@tkipf.bsky.social
Deborah McGuinness
@garymarcus.bsky.social

More info 👇