The Almost Perfect Travel Computer medium.com/@vaishakbell...

We have our paper accepted -- a neuro-symbolic approach to counterfactual fairness, at the Neurosymbolic Artificial Intelligence journal. Handles things like sub-group fairness via logic tensor networks. Congrats to Xenia and Chiara! -- www.linkedin.com/feed/update/...

www.linkedin.com/feed/update/... If you are interested in AI fundamentals + GenAI, do sign up for this Exec Ed course -- www.linkedin.com/feed/update/...

last week, it was fun to host & be in a roundtable with IBM and Chamber of Commerce -- www.linkedin.com/feed/update/...

Innovation vs. responsibility isn't a battle! Led this round table conversation w.r.t. BRAID's launch of the Responsible AI for SMEs MOOC. www.linkedin.com/posts/activi... -- www.linkedin.com/feed/update/...

happy to announce that our manuscript "Neuro-symbolic Weak Supervision: Theory and Semantics," has been accepted for the Royal Society's Philosophical Transactions A! www.linkedin.com/posts/vaisha...

Gave a talk today at Imperial College London on neurosymbolic AI, LLMs, loss functions and symbolic executors. Thanks to Francesco and Alex for lunch. -- www.linkedin.com/feed/update/...

Will be teaching "Logic meets Learning" at ESSAI 2026, July in Vienna! Tutorial explores how symbolic reasoning and data-driven learning can work together—covering neuro-symbolic systems. -- www.linkedin.com/feed/update/...

www.eventbrite.co.uk/e/the-use-of... if you are in Edinburgh, drop by to our discussion on the growing concerns around the use of AI in research -- www.linkedin.com/feed/update/...

braiduk.org/braid-launch... The BRAID program has launched a new responsible AI course! I did an interview with Shannon on the need for it and relevance for SMEs --

Hello (again) Singapore. Here for AAAI, for our talk on neurosymbolic AI with Gary Marcus. Drop by to say hi! -- www.linkedin.com/feed/update/...

t.co/59aWyAxc24 Together with Ali Payani from Cisco, Daga and I have a paper accepted in Transactions on Machine Learning Research. It discusses our issues of integrating a symbolic solver with LLMs. -- www.linkedin.com/feed/update/...

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