Vaishak Belle
@vaishakbelle.bsky.social
📤 828
📥 89
📝 436
AI and Science. Faculty at U of Edinburgh. Write and think on:
http://www.vaishakbelle.org
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 --
loading . . .
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...
https://www.linkedin.com/feed/update/urn:li:share:7473328003041771520
3 days ago
0
2
0
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/...
loading . . .
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
https://www.linkedin.com/feed/update/urn:li:share:7472240834760056833
6 days ago
0
0
0
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/...
loading . . .
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
https://www.linkedin.com/feed/update/urn:li:share:7470791283557502976
10 days ago
0
0
1
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/...
loading . . .
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
https://www.linkedin.com/feed/update/urn:li:share:7470396007499993091
11 days ago
0
0
0
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/...
loading . . .
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
https://www.linkedin.com/feed/update/urn:li:share:7469842335644712963
12 days ago
0
0
0
Listen in to Xenia talk about our work on counterfactual fairness --
www.linkedin.com/feed/update/...
loading . . .
Listen in to Xenia talk about our work on counterfactual fairness | Vaishak Belle
Listen in to Xenia talk about our work on counterfactual fairness
https://www.linkedin.com/feed/update/urn:li:ugcPost:7467465269486133248
17 days ago
0
0
0
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/...
loading . . .
Looking forward to talking on neurosymbolic AI and LLMs, and the closing panel, at the Data, Digital and AI Fest | Vaishak Belle
Looking forward to talking on neurosymbolic AI and LLMs, and the closing panel, at the Data, Digital and AI Fest
https://www.linkedin.com/feed/update/urn:li:share:7467578600708513793
19 days ago
0
0
0
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/...
loading . . .
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 | Vaishak Belle
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
https://www.linkedin.com/feed/update/urn:li:ugcPost:7465836868371124225
23 days ago
0
0
0
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...
26 days ago
0
0
0
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/...
loading . . .
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 | Vaishak Belle
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
https://www.linkedin.com/feed/update/urn:li:share:7463238731689398272
about 1 month ago
0
0
0
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/...
loading . . .
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. | Vaishak Belle
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.
https://www.linkedin.com/feed/update/urn:li:share:7462489412753387520
about 1 month ago
0
2
0
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/...
loading . . .
Congrats to Jessica and Antonia on getting our work "Interpretable Moral Decision-Making under Epistemic Uncertainty" accepted at NeSy 2026. https://lnkd.in/eJYTnC3n This all began with Antonia's… | Vaishak Belle
Congrats to Jessica and Antonia on getting our work "Interpretable Moral Decision-Making under Epistemic Uncertainty" accepted at NeSy 2026. https://lnkd.in/eJYTnC3n This all began with Antonia's bachelor...
https://www.linkedin.com/feed/update/urn:li:ugcPost:7460343773043265537
about 1 month ago
0
0
0
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/...
loading . . .
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: https://lnkd.in/eacvsUMr | Vaishak Belle
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: https://lnkd.in/eacvsUMr
https://www.linkedin.com/feed/update/urn:li:share:7459586450569809920
about 1 month ago
0
0
0
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/...
loading . . .
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… | Vaishak Belle
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. https://lnkd.in/eJYTnC3n
https://www.linkedin.com/feed/update/urn:li:ugcPost:7458448268663042048
about 1 month ago
0
0
0
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/...
loading . . .
In August, I'll be giving a tutorial on neuro-symbolic AI at the Scandinavian Logic Society Summer School in Copenhagen: https://lnkd.in/ewazQvEY | Vaishak Belle
In August, I'll be giving a tutorial on neuro-symbolic AI at the Scandinavian Logic Society Summer School in Copenhagen: https://lnkd.in/ewazQvEY
https://www.linkedin.com/feed/update/urn:li:share:7457361110304817152
about 2 months ago
0
0
0
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-...
about 2 months ago
0
0
0
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...
about 2 months ago
0
1
0
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...
about 2 months ago
0
0
0
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-...
about 2 months ago
0
0
0
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...
loading . . .
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…
https://www.doingaidifferently.org/culturexaiworkshop
about 2 months ago
0
0
0
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-...
2 months ago
0
0
0
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...
2 months ago
0
0
1
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...
2 months ago
0
1
0
Ciao Milan! Giving a talk on Neurosymbolic AI & reasoning. Thanks to Giuseppe for the invite.
2 months ago
0
2
0
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...
2 months ago
0
0
0
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.
3 months ago
0
1
0
www.linkedin.com/posts/yalidu...
The Bayes center is hosting an Edge AI workshop on Thursday.
loading . . .
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!
https://www.linkedin.com/posts/yalidu_thank-you-very-much-for-your-invite-and-organisation-activity-7444493979527708672-GfWx
3 months ago
0
0
0
Our exec ed program on AI and GenAI
3 months ago
0
0
0
Grammarly renaming themselves Superhuman is like Clippy calling itself AGI :-)
3 months ago
0
1
0
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.
3 months ago
0
1
0
Looking forward to talking on neurosymbolic AI in Milan next month
loading . . .
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...
https://www.linkedin.com/posts/gprimiero_workshop-learning-with-guarantees-neurosymbolic-activity-7439596482900582404-iiCV
3 months ago
0
0
0
My pitch at the Wallenberg neurosymbolic workshop was to decouple symbolic reasoning from LLM structure generation: neurosymbolic executors.
3 months ago
0
1
0
This is a blurb on a talk I gave at the Wallenberg Neuro-symbolic workshop in Sweden
medium.com/@vaishakbell...
3 months ago
0
0
0
wasp-sweden.org/wallenberg-a...
Hello Sweden! Here for the nice program on neurosymbolic AI by Luc, Pablo and team
3 months ago
0
2
0
The Almost Perfect Travel Computer
medium.com/@vaishakbell...
3 months ago
0
2
0
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/...
loading . . .
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....
https://www.linkedin.com/feed/update/urn:li:share:7437486184693518336
3 months ago
0
1
0
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/...
loading . . .
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
https://www.linkedin.com/feed/update/urn:li:share:7436757943255142401
3 months ago
0
0
0
last week, it was fun to host & be in a roundtable with IBM and Chamber of Commerce --
www.linkedin.com/feed/update/...
loading . . .
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
https://www.linkedin.com/feed/update/urn:li:share:7435276471641726976
4 months ago
0
0
0
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/...
loading . . .
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
https://www.linkedin.com/feed/update/urn:li:share:7434213501075705857
4 months ago
0
0
0
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...
loading . . .
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...
https://www.linkedin.com/posts/vaishakbelle_happy-to-announce-that-our-manuscript-neuro-symbolic-ugcPost-7432799352924008450-Sazy
4 months ago
0
1
0
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/...
loading . . .
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.
https://www.linkedin.com/feed/update/urn:li:ugcPost:7430332280771883008
4 months ago
0
2
0
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/...
loading . . .
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.
https://www.linkedin.com/feed/update/urn:li:share:7428041614402469889
4 months ago
0
2
2
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/...
loading . . .
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
https://www.linkedin.com/feed/update/urn:li:share:7426936772066029568
4 months ago
0
3
1
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 --
loading . . .
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
https://www.linkedin.com/feed/update/urn:li:share:7425205948786376704
5 months ago
0
0
0
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/...
loading . . .
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!
https://www.linkedin.com/feed/update/urn:li:ugcPost:7419902848110403584
5 months ago
0
2
0
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/...
loading . . .
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...
https://www.linkedin.com/feed/update/urn:li:ugcPost:7416847997935960064
5 months ago
0
0
0
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!
loading . . .
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...
https://www.linkedin.com/feed/update/urn:li:share:7414988086809501696
5 months ago
0
1
1
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/...
loading . . .
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
https://www.linkedin.com/feed/update/urn:li:share:7407534175055921152
6 months ago
0
6
1
My talk on neurosymbolic AI, LLMs, anthropomorphism etc With the Valencia AI community along with a panel session with Carles Sierra
loading . . .
III Premios ValgrAI de Inteligencia Artificial de la Comunitat Valenciana | Vaishak Belle
My talk on neurosymbolic AI, LLMs, anthropomorphism etc With the Valencia AI community along with a panel session with Carles Sierra among others is now online
https://www.linkedin.com/feed/update/urn:li:share:7404094802998497280
6 months ago
0
4
1
With Carles Sierra and Vicent Botti
valgrai.eu/events/iii-p...
--
www.linkedin.com/feed/update/...
loading . . .
With Carles Sierra and Vicent Botti https://lnkd.in/evN8edmT | Vaishak Belle
With Carles Sierra and Vicent Botti https://lnkd.in/evN8edmT
https://www.linkedin.com/feed/update/urn:li:ugcPost:7402685998016614400
7 months ago
0
1
0
Load more
feeds!
log in