Adding a second congrats to Saimun for winning the best paper award!!! https://lnkd.in/erweinKK | Vaishak Belle

Adding a second congrats to Saimun for winning the best paper award!!! https://lnkd.in/erweinKK

linkedin.com

Congrats to Saimun — our paper "DeepSWIP: Quotient-WMC Counterfactuals for Neural Probabilistic Logic Programs" has been accepted at NeSy 2026. | Vaishak Belle

Congrats to Saimun — our paper "DeepSWIP: Quotient-WMC Counterfactuals for Neural Probabilistic Logic Programs" has been accepted at NeSy 2026.

linkedin.com

Very excited to be having a fireside chat with Kathleen Fisher, CEO of ARIA! Hosted graciously by Venture Cafe this Thursday: https://lnkd.in/e9BrWrZR | Vaishak Belle

Very excited to be having a fireside chat with Kathleen Fisher, CEO of ARIA! Hosted graciously by Venture Cafe this Thursday: https://lnkd.in/e9BrWrZR

linkedin.com

Congrats to Max — our paper "Tractable Hierarchical Control of Large Language Models" has been accepted at NeSy 2026! | Vaishak Belle

Congrats to Max — our paper "Tractable Hierarchical Control of Large Language Models" has been accepted at NeSy 2026!

linkedin.com

https://lnkd.in/eXyBvQXH The Nordic Logic Summer School is taking place in the observatory next to the botanics in Copenhagen. Today, I’ll be covering neuro-symbolic program learning among other… | Vaishak Belle

https://lnkd.in/eXyBvQXH The Nordic Logic Summer School is taking place in the observatory next to the botanics in Copenhagen. Today, I’ll be covering neuro-symbolic program learning among other things,...

linkedin.com

Hello again Copenhagen! Back here for the Nordic logic summer school - will be tutoring on logic, learning, explanations, LLMs https://lnkd.in/eT-eKYDX | Vaishak Belle

Hello again Copenhagen! Back here for the Nordic logic summer school - will be tutoring on logic, learning, explanations, LLMs https://lnkd.in/eT-eKYDX

linkedin.com

Camera-ready is in for "Automating Hard Choices: Agentic AI's Impact on Moral Identity and Intervention," with Jessica, at HAR, 2026. Drawing on Kierkegaard’s conception of choice as… | Vaishak Belle

Camera-ready is in for "Automating Hard Choices: Agentic AI's Impact on Moral Identity and Intervention," with Jessica, at HAR, 2026. Drawing on Kierkegaard’s conception of choice as self-actualisation,...

linkedin.com

New paper out: "Reshaping Conceptual Framing with LLM Anthropomorphism" with Chris, at HAR 2026. How we talk about LLMs shapes how we think about them — this paper looks at the role anthropomorphic… | Vaishak Belle

New paper out: "Reshaping Conceptual Framing with LLM Anthropomorphism" with Chris, at HAR 2026. How we talk about LLMs shapes how we think about them — this paper looks at the role anthropomorphic...

linkedin.com

Looking forward to talking at the 5th Neuro-Symbolic AI Summer School 2026, organised by the Centaur AI Institute in Los Angeles https://lnkd.in/p/eJJEcHwE | Vaishak Belle

Looking forward to talking at the 5th Neuro-Symbolic AI Summer School 2026, organised by the Centaur AI Institute in Los Angeles https://lnkd.in/p/eJJEcHwE

linkedin.com

Last week, Daxin and I presented our work on counterfactual causes in a first-order action logic, reverting to the simplicity of Hume’s but-for causality. It got a thumbs up from Joost Vennekens :-)! | Vaishak Belle

Last week, Daxin and I presented our work on counterfactual causes in a first-order action logic, reverting to the simplicity of Hume’s but-for causality. It got a thumbs up from Joost Vennekens :-)!

linkedin.com

On Saturday at FLOC in Lisbon, Katya and her team (incl. Jessica) presented work on a neuro-symbolic approach to drug delivery at the ai verification symposium | Vaishak Belle

On Saturday at FLOC in Lisbon, Katya and her team (incl. Jessica) presented work on a neuro-symbolic approach to drug delivery at the ai verification symposium

linkedin.com

Xenia and Nijesh are giving talks at the Centaur AI Institute — on fairness and GANs respectively, both via Logic Tensor Networks. Great to see this work getting out there! Listen in:… | Vaishak Belle

Xenia and Nijesh are giving talks at the Centaur AI Institute — on fairness and GANs respectively, both via Logic Tensor Networks. Great to see this work getting out there! Listen in: https://lnkd.in/eCGcc2Ki

linkedin.com

Olá Lisbon! I'm here for the FLOC mega-fest, and starting things off with a talk on neuro-symbolic AI on July 22 at the Faculty of Sciences of the University of Lisbon. Thanks to Catia for the… | Vaishak Belle

Olá Lisbon! I'm here for the FLOC mega-fest, and starting things off with a talk on neuro-symbolic AI on July 22 at the Faculty of Sciences of the University of Lisbon. Thanks to Catia for the invitation,...

linkedin.com

Logic meets Learning Tutorial - Lecture 4 from ESSAI - neuro-symbolic integration and LLMs https://lnkd.in/ejYr79wJ | Vaishak Belle

Logic meets Learning Tutorial - Lecture 4 from ESSAI - neuro-symbolic integration and LLMs https://lnkd.in/ejYr79wJ

linkedin.com

Interested in the next iteration of the DDI Fellows? Register your interest now: https://lnkd.in/eFpd_5mP | Vaishak Belle

Interested in the next iteration of the DDI Fellows? Register your interest now: https://lnkd.in/eFpd_5mP

linkedin.com

DAIM: Inside The Algorithm | Why AI Models Still Hallucinate | Vaishak Belle

The full video of the podcast with Jeremy / inside the algorithm series - Nesy, Claude code, theory of mind, and more

linkedin.com

Thoroughly enjoyed doing the podcast series "Inside the Algorithm" with Jeremy and Ricardo. We went from neuro-symbolic AI to theory of mind to Claude Code: https://lnkd.in/ehgU6-iJ | Vaishak Belle

Thoroughly enjoyed doing the podcast series "Inside the Algorithm" with Jeremy and Ricardo. We went from neuro-symbolic AI to theory of mind to Claude Code: https://lnkd.in/ehgU6-iJ

linkedin.com

Logic meets Learning Tutorial - Lecture 3: Logic for Machine Learning | https://lnkd.in/eR89TP2n — algebraic model counting, circuits and diverse counterfactuals | Vaishak Belle

Logic meets Learning Tutorial - Lecture 3: Logic for Machine Learning | https://lnkd.in/eR89TP2n — algebraic model counting, circuits and diverse counterfactuals

linkedin.com

Logic meets Learning Tutorial - Lecture 2 from ESSAI 2026 today - ILP, differential ILP and logic tensor networks for fairness https://lnkd.in/eEuGACB7 | Vaishak Belle

Logic meets Learning Tutorial - Lecture 2 from ESSAI 2026 today - ILP, differential ILP and logic tensor networks for fairness https://lnkd.in/eEuGACB7

linkedin.com

Hallo Vienna! Here for 4 day tutorial on logic and learning. I’ll be starting with weighted model counting, model integration and translations from programs to counting. | Vaishak Belle

Hallo Vienna! Here for 4 day tutorial on logic and learning. I’ll be starting with weighted model counting, model integration and translations from programs to counting.

linkedin.com

Just a week to go for the 4 x 90-min tutorial at ESSAI in Vienna. logic, learning, and neuro-symbolic AI — with case studies on program induction, circuits, and LLMs. https://lnkd.in/ewgu8MAt | Vaishak Belle

Just a week to go for the 4 x 90-min tutorial at ESSAI in Vienna. logic, learning, and neuro-symbolic AI — with case studies on program induction, circuits, and LLMs. https://lnkd.in/ewgu8MAt

linkedin.com

Listen into Nijesh on logic tensor networks and GANs! | Vaishak Belle

Listen into Nijesh on logic tensor networks and GANs!

linkedin.com

Giannis has submitted our journal paper for discussion in the Greeks for AI forum, which is our work on generating diverse counterfactuals: Principled Diverse Counterfactuals in Multilinear Models.… | Vaishak Belle

Giannis has submitted our journal paper for discussion in the Greeks for AI forum, which is our work on generating diverse counterfactuals: Principled Diverse Counterfactuals in Multilinear Models. I....

linkedin.com

Hallo Leipzig! Back after many years and to talk about neuro-symbolic AI at the scads.ai summer school https://lnkd.in/eFKcnZj3 | Vaishak Belle

Hallo Leipzig! Back after many years and to talk about neuro-symbolic AI at the scads.ai summer school https://lnkd.in/eFKcnZj3

linkedin.com

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

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

linkedin.com

The 2025-2026 DDI Fellows program has come to a close, thanks to Lynne and Emma among others for a great closing session: https://lnkd.in/eJ2pUBMR | Vaishak Belle

The 2025-2026 DDI Fellows program has come to a close, thanks to Lynne and Emma among others for a great closing session: https://lnkd.in/eJ2pUBMR

linkedin.com

Just a week away for the ScaDS.AI School in Leipzig, I'll be talking about neuro-symbolic AI: https://lnkd.in/eAyrQg2X | Vaishak Belle

Just a week away for the ScaDS.AI School in Leipzig, I'll be talking about neuro-symbolic AI: https://lnkd.in/eAyrQg2X

linkedin.com

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

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

linkedin.com

Check out the highlights from 'Data, digital and AI: The future beyond the hype' event: https://lnkd.in/eHh62aif | Vaishak Belle

Check out the highlights from 'Data, digital and AI: The future beyond the hype' event: https://lnkd.in/eHh62aif

linkedin.com

Listen in to Xenia talk about our work on counterfactual fairness | Vaishak Belle

Listen in to Xenia talk about our work on counterfactual fairness

linkedin.com