www.linkedin.com/feed/update/... Daxin and I have our AAMAS submission accepted for publication! We show an epistemic logic with meta-reasoning can be fully realized using the semiring-based extension to model counting. We then further extend this to handle probabilities and actions too!

Will be giving a talk tomorrow at MIT CSAIL on neurosymbolic AI. Drop by if you are in Boston! www.csail.mit.edu/event/vaisha... -- www.linkedin.com/feed/update/...

My talk on neurosymbolic AI, LLMs, anthropomorphism etc With the Valencia AI community along with a panel session with Carles Sierra

With Carles Sierra and Vicent Botti valgrai.eu/events/iii-p... -- www.linkedin.com/feed/update/...

Was such a pleasure to be here.  -- www.linkedin.com/feed/update/...

Muy interesante! @vaishakbelle.bsky.social ha dado un buen repaso a los problemas actuales de la IA –alucinaciones, necesidad de grandes volúmenes de datos, uso de recursos– y cómo la combinación con la IA simbólica (la llamada IA neurosimbólica) puede resolverlos (o al menos mejorar la situación).

Hola Valencia! Looking forward to speaking on neurosymbolic AI and LLMs with the Valencia AI community valgrai.eu/events/iii-p... -- www.linkedin.com/feed/update/...

Really excited about being here next week! -- www.linkedin.com/feed/update/...

Excited to be heading to Valencia next week for a talk at the Valencia AI community valgrai.eu -- www.linkedin.com/feed/update/...

El 4 de dic. tenemos los "III Premios ValgrAI de IA de la Comunitat Valenciana", con una charla muy interesante de Vaishak Belle @vaishakbelle.bsky.social : "Reasoning with Large & Small Models: Bridging Symbolic and Neural Approaches". Presencial & online. Inscripción (gratuita): shorturl.at/JxRGo

A few weeks I was on the Future Medicine podcast, hosted by Abigail. Now she’s done a brilliant job of gathering our conversion together: www.futuremedicine.com/articles/dee... -- www.linkedin.com/feed/update/...

Yesterday evening, IBM planned & put together a wonderful evening, with a fireside chat and a AI tough questions debate. This was so much fun to be part of! -- www.linkedin.com/feed/update/...

Very excited to report that Gary Marcus and I have a new position paper at the AAAI-2026 in the "Emerging Trends in AI" track. We make a case for neuro-symbolic AI, survey the field briefly, and point to various case studies that seem to also imply the need and growth of this paradigm.

Olga Fink’s talk on inductive bias in an hour.

Our recording virtual Turing neuro-symbolic talk with Moshe is online — Moshe Y. Vardi: A New Paradigm -- A New Computer Science? - YouTube

Our next virtual Turing talk will be by Olga Fink on Thursday. She’ll cover inductive bias for engineering systems

It was a pleasure to host Moshe Vardi on our virtual Turing neurosymbolic AI seminar. He debated the data driven vs model driven paradigm and used model counting as evidence of discrete reasoning for quantitative specs. Video coming up soon.

At the National robotarium today. Thanks to Raphael for hosting and chatting about entrepreneurship in robotics.

We are starting the virtual Turing NeSy AI Talk with a talk by Moshe Vardi on Monday! Join live. We’ll also put up the recording on YouTube later.

Beautiful remembrance of Brian Cantwell Smith, from Faculty of Information, University of Toronto: ischool.utoronto.ca/news/obituar...

A few weeks ago, I appeared on the Future Medicine podcast with Abigail. This was such a fun conversation and we veered off into interesting territory about the importance of neuro-symbolic AI

So kicked to finally hold our children's book "the girl and the robot", published by Parakeet Books, is printed & here! www.parakeetbooks.com/blogs/new-bo... Thanks to everyone who supported this!

Few of us are organizing a special issue on Neurosymbolic AI, looking at first-order logic, modal logic, causality & beyond. Do consider submitting your work. neurosymbolic-ai-journal.com/content/call...

I joined the editorial board of Nature Humanities and Social Sciences Communications. Send us your punchiest articles on AI & humanities :-)

Keep adding to my intro slide on neuro-symbolic AI. This is the latest iteration with temporal logics & FOL on the logic circle. Also, weighted model counting sitting prominently between logic learning, SRL and NeSy.

Happening this week - the Bayes Lightning talks

Discovering declarative coffee in Denmark

Hello Copenhagen! Will be talking at DTU at 11 on reasoning with small and large models

I’ll be in Copenhagen (DTU) this week for a talk on neurosymbolic AI, LLMs and the like. Thanks to Hugo-Lopez for the invite!

I’ll be in Copenhagen (DTU) this week for a talk on neurosymbolic AI, LLMs and the like. Thanks to Hugo-Lopez for the invite!

Do you have a research question or a challenge that could benefit from expert analysis, access to advanced resources, or additional funding? Consider partnering with an MSc project at The University of Edinburgh.

Some of the talks we covered in our Logic + NN seminar drops.dagstuhl.de/entities/doc... from graph neural networks to program synthesis!

If you are in Edinburgh, do drop into the Bayes Lightning talks on oct 22.

Sad to see that the word "AI" is hijacked and LLM slop is legitimized in discussions on the science of AI, and AI for science.

In February this year, Dana, Michael, Daniel and I co-organised the Schloss Dagstuhl seminar on "Logic and Neural Networks". Our summary report is now online: drops.dagstuhl.de/entities/doc...

Today: drop-in session on the DDI fellows programme - for your innovative ideas!

Very excited to be a mentor at the new AHRC sandpit (funding value totaling £1M) working with a team from the US, Canada and the UK. Do apply!

A key facet of Nijesh’s recent paper on SAT modulo theory + inductive logic is capturing real-valued constraints in explanatory rule learning. And ofc noisy data: vaishakbelle.org/papers

Model context, protocol, agentic pipelines, & other sorts of orchestration for grounding are all decent steps. However, ultimately, the lack of a world model implies a limitation that may never be crossed.

Most many not be aware that we have a 60+ year history in AI: www.ed.ac.uk/ai/legacy - tried to summarize some of this at this talk.

Rich Sutton on LLMs -- medium.com/@vaishakbell...

Happy for Nijesh to have had this paper accepted at IJCLR. We've been thinking about how to integrate linear constraints and real-valued constraints in inductive logic programming. And Nijesh has been working out a general solution for this.

vimeo.com/1123604736/f... The tipping point highlights from our AHRC BRAID program

Congrats to Josh and other members of the Edinburgh Futures Institute for organizing what seems to have been a very engaging workshop on understanding how generative AI and large language models could potentially impact the tourism industry!

www.linkedin.com/posts/bayes-... Just a week to go for the drop-in session on the DDI fellows programme - for your innovative ideas!

Things we seem to have accepted: subscription pricing per “seat”, AI “credits” and LLM service chatbots that spit out non-sequiturs for urgent queries.

We hosted Andy Gordon from Cogna yesterday, who had interesting points, including a possible link between Jim Gray's vision of the automatic programmer and vibe coding.

www.linkedin.com/posts/richar... from the capgemini genAI event

Regarding www.nytimes.com/2025/09/26/w... We have a paper showing LLM beliefs is not a commitment but purely prompt sensitive

Jessica shares this picture from the neuro-symbolic AI conference in Santa Cruz. We had a paper on fairness and another on verification of ethics