Doing AI Differently | Culture × AI Workshop Select \u201CAccept all\u201D to agree to our use of cookies and similar technologies to enhance your browsing experience, security, analytics and customization. Select \u201DManage cookies\u201D to…

check out the Culture x AI workshop at ICML, organised by the Doing AI Differently team (led by Drew) and The Alan Turing Institute:

www.doingaidifferently.org/culturexaiwo...

In June, I'll be giving a talk on 'The Future is Neuro-symbolic' at the ScaDS.AI Summer School 2026 on Neuro+Symbolic AI. Registration is now open. www.linkedin.com/posts/scads-...

Part 1 of a thought piece I wrote for the Bayes Centre on Generative AI, covering its achievements and where the limits lie. bayes-centre.ed.ac.uk/news/the-rea...

Gary Marcus argues that much of Claude Code is so good because it's inherently neuro-symbolic (cf our AAAI-2026 paper): garymarcus.substack.com/p/the-bigges...

Ciao Milan!

Giving a talk on Neurosymbolic AI & reasoning. Thanks to Giuseppe for the invite.

Very excited to be part of the investigator team of UKRI's Quantum Advantage TurboCHarger (QATCH). Will be looking at trust and verification with hybrid models. www.ed.ac.uk/news/quantum...

zenodo.org/records/1936...

My slide deck for Neurosymbolic Executors: Outsourcing Reasoning to Where It Belongs from the Wallenberg Advanced Scientific Forum on Neuro-symbolic AI in Sweden.

Thank you very much for your invite and organisation Cheng Deng Luo Mai Vaishak Belle! Looking forward to the visit! | Yali Du Thank you very much for your invite and organisation Cheng Deng Luo Mai Vaishak Belle! Looking forward to the visit!

www.linkedin.com/posts/yalidu...

The Bayes center is hosting an Edge AI workshop on Thursday.

Our exec ed program on AI and GenAI

Grammarly renaming themselves Superhuman is like Clippy calling itself AGI :-)

www.sps.ed.ac.uk/news-events/...

Tomorrow I’ll be talking about neuro-symbolic AI, accountability and explainability at the controversies in data society.

Workshop “Learning with Guarantees – Neurosymbolic AI and Formal Verification” | Giuseppe Primiero The new frontier of AI research is about systems that learn from data and still provide formal guarantees about their behaviour. Neurosymbolic AI aims to bridge statistical learning and symbolic reasoning...

Looking forward to talking on neurosymbolic AI in Milan next month

My pitch at the Wallenberg neurosymbolic workshop was to decouple symbolic reasoning from LLM structure generation:
neurosymbolic executors.

This is a blurb on a talk I gave at the Wallenberg Neuro-symbolic workshop in Sweden medium.com/@vaishakbell...

wasp-sweden.org/wallenberg-a...

Hello Sweden! Here for the nice program on neurosymbolic AI by Luc, Pablo and team

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… | Vaishak Belle 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....

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/...

https://lnkd.in/eNqnA_Wx If you are interested in AI fundamentals + GenAI, do sign up for this Exec Ed course | Vaishak Belle https://lnkd.in/eNqnA_Wx If you are interested in AI fundamentals + GenAI, do sign up for this Exec Ed course

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/...

On Friday, we were delighted to be joined by British Chambers of Commerce Chair, Sarah Howard MBE, for a visit to the Bayes Centre, one of the Edinburgh and South East Scotland City Region Deal’s… |… | Vaishak Belle last week, it was fun to host & be in a roundtable with IBM and Chamber of Commerce

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. https://lnkd.in/eyxiUYiH | Vaishak Belle 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. https://lnkd.in/eyxiUYiH

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! Congrats to Nijesh on all of his… | Vaishak Belle happy to announce that our manuscript "Neuro-symbolic Weak Supervision: Theory and Semantics," has been accepted for the Royal Society's Philosophical Transactions A! Congrats to Nijesh on all of his...

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. | Vaishak Belle Gave a talk today at Imperial College London on neurosymbolic AI, LLMs, loss functions and symbolic executors. Thanks to Francesco and Alex for lunch.

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/...

The European Summer School on Artificial Intelligence | Vaishak Belle 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.

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/...

https://lnkd.in/eDQ84i4t if you are in Edinburgh, drop by to our discussion on the growing concerns around the use of AI in research | Vaishak Belle https://lnkd.in/eDQ84i4t if you are in Edinburgh, drop by to our discussion on the growing concerns around the use of AI in research

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/...

BRAID launches new responsible AI course to help UK SMEs bridge the AI trust gap - BRAID UK | Vaishak Belle https://lnkd.in/e9pSffR2 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

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! | Vaishak Belle Hello (again) Singapore. Here for AAAI, for our talk on neurosymbolic AI with Gary Marcus. Drop by to say hi!

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/...

https://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… | Vaishak Belle https://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...

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/...

Daxin and I have our AAMAS submission accepted for publication! We show an epistemic logic with meta-reasoning and introspection can be fully realized using the semiring-based extension to weighted… | Vaishak Belle Daxin and I have our AAMAS submission accepted for publication! We show an epistemic logic with meta-reasoning and introspection can be fully realized using the semiring-based extension to weighted model...

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! https://lnkd.in/eszAC5nE | Vaishak Belle Will be giving a talk tomorrow at MIT CSAIL on neurosymbolic AI. Drop by if you are in Boston! https://lnkd.in/eszAC5nE

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/...