Saimun has an interesting paper on "Efficient Counterfactual Reasoning in ProbLog via Single-World Intervention Programs" at the ICML 2026 Workshop: Philosophy Meets Machine Learning. Saimun Habib, Vaishak Belle, Fengxiang He --

The 2025-2026 DDI Fellows program has come to a close, thanks to Lynne and Emma among others for a great closing session: www.linkedin.com/posts/ddifel... -- www.linkedin.com/feed/update/...

Just a week away for the ScaDS.AI School in Leipzig, I'll be talking about neuro-symbolic AI: www.linkedin.com/posts/anothe... -- www.linkedin.com/feed/update/...

Excited to join the 3rd anniversary of the quantum software lab, leading into the start of the QATCH project. Looking forward to the next years on AI and quantum tech -- www.linkedin.com/feed/update/...

Check out the highlights from 'Data, digital and AI: The future beyond the hype' event: edinburgh-innovations.ed.ac.uk/news/fast-fo... -- www.linkedin.com/feed/update/...

Listen in to Xenia talk about our work on counterfactual fairness -- www.linkedin.com/feed/update/...

Looking forward to talking on neurosymbolic AI and LLMs, and the closing panel, at the Data, Digital and AI Fest -- www.linkedin.com/feed/update/...

this week, Daxin is working hard in Cyprus at AAMAS, presenting our work on how SAT and model counting techniques could automate reasoning in modal logics -- www.linkedin.com/feed/update/...

For the Edinburgh Festivals, I contributed a piece on what the Festivals needs to know about (Generative) AI. www.edinburghfestivalcity.com/assets/000/0... Coverage in The Herald: www.heraldscotland.com/news/2609728...

PS If you are at AAMAS next week in Cyprus, talk to Daxin about our paper on actual causality - revisiting the Halpern-Pearl model in dynamical systems -- www.linkedin.com/feed/update/...

Daxin and I have been working on a new language and account for actual causality in a first-order language. This is now accepted at ICLP 2026, and extends our short paper from AAMAS-2026. -- www.linkedin.com/feed/update/...

Congrats to Jessica and Antonia on getting our work "Interpretable Moral Decision-Making under Epistemic Uncertainty" accepted at NeSy 2026. nesy-ai.org/conferences/... This all began with Antonia's bachelor thesis on ProbLog. -- www.linkedin.com/feed/update/...

Part 2 of my position piece for the Bayes Center on GenAI is out, this time touching on neuro-symbolic AI and what lies beyond large language models: bayes-centre.ed.ac.uk/news/current... -- www.linkedin.com/feed/update/...

Congrats to Marcos on getting his work "Soft Symbol Grounding for Prototypical Concepts" accepted at NeSy 2026! Marcos visited us from Mexico last year with a interest in maths, stats and Nesy. nesy-ai.org/conferences/... -- www.linkedin.com/feed/update/...

In August, I'll be giving a tutorial on neuro-symbolic AI at the Scandinavian Logic Society Summer School in Copenhagen: slss2026.compute.dtu.dk/logic-meets-... -- www.linkedin.com/feed/update/...

In August, I'll be giving a tutorial on neuro-symbolic AI at the Scandinavian Logic Society Summer School in Copenhagen: slss2026.compute.dtu.dk/logic-meets-...

I gave a talk in celebration of UNESCO World Logic Day in 2025. This is now published as a position piece in the Ezumezu journal: "LLMs, Limitations and Capabilities: Musings from a Logician's Viewpoint": cspafrica.org/wp-content/u...

Our exec ed on AI and Gen AI kicked off last week with our new cohort, with Neil Pollock on "leading in the age of AI": www.business-school.ed.ac.uk/executive-ed...

Chaired the Bayes Community Collider last week — great to see our newest members share their vision and spark conversations across the centre. www.linkedin.com/posts/bayes-...

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.

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.

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