last week, it was fun to host & be in a roundtable with IBM and Chamber of Commerce -- 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/...
www.pure.ed.ac.uk/ws/portalfil... we had a somewhat related paper last year - beliefs are not commitments, but rather transient prompt-based productions
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
here it is: github.com/vaishakbelle...
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/...
thx for asking! will share link soon - camera ready being finalized
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.