Vaishak Belle
@vaishakbelle.bsky.social
📤 821
📥 89
📝 401
AI and Science. Faculty at U of Edinburgh. Write and think on:
http://www.vaishakbelle.org
The Almost Perfect Travel Computer
medium.com/@vaishakbell...
1 day ago
0
2
1
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
4 days 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
6 days 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
10 days 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
13 days 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
17 days 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
24 days 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
30 days 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
about 1 month 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
about 1 month 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
about 2 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
2 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
2 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
3 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
3 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
3 months ago
0
1
0
Was such a pleasure to be here. --
www.linkedin.com/feed/update/...
loading . . .
https://www.linkedin.com/feed/update/urn:li:ugcPost:7402384611583946752
3 months ago
0
1
0
reposted by
Vaishak Belle
Germán Vidal
3 months ago
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).
add a skeleton here at some point
1
3
2
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/...
loading . . .
Hola Valencia! Looking forward to speaking on neurosymbolic AI and LLMs with the Valencia AI community https://lnkd.in/evN8edmT | Vaishak Belle
Hola Valencia! Looking forward to speaking on neurosymbolic AI and LLMs with the Valencia AI community https://lnkd.in/evN8edmT
https://www.linkedin.com/feed/update/urn:li:ugcPost:7402262187550863360
3 months ago
0
2
0
Really excited about being here next week! --
www.linkedin.com/feed/update/...
loading . . .
Really excited about being here next week! | Vaishak Belle
Really excited about being here next week!
https://www.linkedin.com/feed/update/urn:li:share:7399512978229989376
4 months ago
0
0
1
Excited to be heading to Valencia next week for a talk at the Valencia AI community
valgrai.eu
--
www.linkedin.com/feed/update/...
loading . . .
Excited to be heading to Valencia next week for a talk at the Valencia AI community https://valgrai.eu/ | Vaishak Belle
Excited to be heading to Valencia next week for a talk at the Valencia AI community https://valgrai.eu/
https://www.linkedin.com/feed/update/urn:li:share:7400148551697186818
4 months ago
0
0
0
reposted by
Vaishak Belle
Germán Vidal
4 months ago
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
loading . . .
III Premios ValgrAI de Inteligencia Artificial de la Comunitat Valenciana - valgrAI
Los Premios ValgrAI representan no solo un reconocimiento, sino tambiĂ©n un estĂmulo para avanzar en la investigaciĂłn y desarrollo en el ámbito de la inteligencia artificial. Te invitamos a participar,...
https://valgrai.eu/events/iii-premios-valgrai-de-inteligencia-artificial-de-la-comunitat-valenciana/
0
2
2
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/...
loading . . .
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: https://lnkd.in/ebvgFrQU | Vaishak Belle
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: https://lnkd.in/ebvgFrQU
https://www.linkedin.com/feed/update/urn:li:share:7397590696448118784
4 months ago
0
1
0
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/...
loading . . .
#ibm #ibmscotland #ibmedinburgh #watsonx #bayes | Steve Bogan | Vaishak Belle
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! https://lnkd.in/eatD2bRj
https://www.linkedin.com/feed/update/urn:li:share:7396989869727625216
4 months ago
0
0
0
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.
4 months ago
1
4
0
Olga Fink’s talk on inductive bias in an hour.
4 months ago
0
0
0
Our recording virtual Turing neuro-symbolic talk with Moshe is online — Moshe Y. Vardi: A New Paradigm -- A New Computer Science? - YouTube
loading . . .
Your browser is up to date
You can use YouTube's latest features!
https://www.youtube.com/watch?v=F--ziuok_MQ
4 months ago
0
2
0
Our next virtual Turing talk will be by Olga Fink on Thursday. She’ll cover inductive bias for engineering systems
4 months ago
0
1
1
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.
4 months ago
0
4
1
At the National robotarium today. Thanks to Raphael for hosting and chatting about entrepreneurship in robotics.
4 months ago
0
0
0
We are starting the virtual Turing NeSy AI Talk with a talk by Moshe Vardi on Monday! Join live. We’ll also put up the recording on YouTube later.
4 months ago
1
0
0
reposted by
Vaishak Belle
Melanie Mitchell
4 months ago
Beautiful remembrance of Brian Cantwell Smith, from Faculty of Information, University of Toronto:
ischool.utoronto.ca/news/obituar...
loading . . .
Obituary: Brian Cantwell Smith (1950 to 2025) - Faculty of Information
Former dean wove philosophy and computation into a lifelong inquiry into the human dimensions of intelligence, judgment, and meaning Born into a prominent Canadian family known for both its intellectu...
https://ischool.utoronto.ca/news/obituary-brian-cantwell-smith-1950-to-2025/
0
26
7
A few weeks ago, I appeared on the Future Medicine podcast with Abigail. This was such a fun conversation and we veered off into interesting territory about the importance of neuro-symbolic AI
loading . . .
#ai #neurosymbolicai #futuremedicine #aiinhealth #healthcare | Future Medicine
AI is stalling. What’s next? In our latest episode, Dr Vaishak Belle, Director of Research & Innovation at the Bayes Centre, argues that machine learning is hitting its limits. It's a view American...
https://www.linkedin.com/posts/futuremedicine_ai-neurosymbolicai-futuremedicine-ugcPost-7389702987046330368-NQ1N
4 months ago
0
0
0
So kicked to finally hold our children's book "the girl and the robot", published by Parakeet Books, is printed & here!
www.parakeetbooks.com/blogs/new-bo...
Thanks to everyone who supported this!
5 months ago
0
2
0
Few of us are organizing a special issue on Neurosymbolic AI, looking at first-order logic, modal logic, causality & beyond. Do consider submitting your work.
neurosymbolic-ai-journal.com/content/call...
5 months ago
0
0
0
I joined the editorial board of Nature Humanities and Social Sciences Communications. Send us your punchiest articles on AI & humanities :-)
5 months ago
1
3
0
Keep adding to my intro slide on neuro-symbolic AI. This is the latest iteration with temporal logics & FOL on the logic circle. Also, weighted model counting sitting prominently between logic learning, SRL and NeSy.
5 months ago
1
1
0
Happening this week - the Bayes Lightning talks
5 months ago
0
1
0
Discovering declarative coffee in Denmark
5 months ago
0
3
0
Hello Copenhagen! Will be talking at DTU at 11 on reasoning with small and large models
5 months ago
0
1
0
I’ll be in Copenhagen (DTU) this week for a talk on neurosymbolic AI, LLMs and the like. Thanks to Hugo-Lopez for the invite!
5 months ago
0
0
0
I’ll be in Copenhagen (DTU) this week for a talk on neurosymbolic AI, LLMs and the like. Thanks to Hugo-Lopez for the invite!
5 months ago
0
0
0
Do you have a research question or a challenge that could benefit from expert analysis, access to advanced resources, or additional funding? Consider partnering with an MSc project at The University of Edinburgh.
5 months ago
0
2
1
Some of the talks we covered in our Logic + NN seminar
drops.dagstuhl.de/entities/doc...
from graph neural networks to program synthesis!
5 months ago
0
1
0
If you are in Edinburgh, do drop into the Bayes Lightning talks on oct 22.
5 months ago
0
0
0
Sad to see that the word "AI" is hijacked and LLM slop is legitimized in discussions on the science of AI, and AI for science.
5 months ago
0
0
0
In February this year, Dana, Michael, Daniel and I co-organised the Schloss Dagstuhl seminar on "Logic and Neural Networks". Our summary report is now online:
drops.dagstuhl.de/entities/doc...
5 months ago
0
1
0
Today: drop-in session on the DDI fellows programme - for your innovative ideas!
add a skeleton here at some point
5 months ago
0
0
0
Very excited to be a mentor at the new AHRC sandpit (funding value totaling ÂŁ1M) working with a team from the US, Canada and the UK. Do apply!
5 months ago
0
6
2
A key facet of Nijesh’s recent paper on SAT modulo theory + inductive logic is capturing real-valued constraints in explanatory rule learning. And ofc noisy data:
vaishakbelle.org/papers
5 months ago
0
1
0
Load more
feeds!
log in