Vaishak Belle
@vaishakbelle.bsky.social
AI and Science. Faculty at U of Edinburgh. Write and think on: http://www.vaishakbelle.org
Our next virtual Turing talk will be by Olga Fink on Thursday. She’ll cover inductive bias for engineering systems
November 11, 2025 at 10:23 AM
Our next virtual Turing talk will be by Olga Fink on Thursday. She’ll cover inductive bias for engineering systems
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.
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.
November 10, 2025 at 5:58 PM
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.
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.
At the National robotarium today. Thanks to Raphael for hosting and chatting about entrepreneurship in robotics.
November 10, 2025 at 11:28 AM
At the National robotarium today. Thanks to Raphael for hosting and chatting about entrepreneurship in robotics.
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.
Join live. We’ll also put up the recording on YouTube later.
November 6, 2025 at 9:29 AM
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.
Join live. We’ll also put up the recording on YouTube later.
Reposted by Vaishak Belle
Beautiful remembrance of Brian Cantwell Smith, from Faculty of Information, University of Toronto: ischool.utoronto.ca/news/obituar...
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...
ischool.utoronto.ca
November 4, 2025 at 12:52 AM
Beautiful remembrance of Brian Cantwell Smith, from Faculty of Information, University of Toronto: ischool.utoronto.ca/news/obituar...
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
#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...
www.linkedin.com
October 31, 2025 at 9:34 AM
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
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!
Thanks to everyone who supported this!
October 24, 2025 at 10:01 AM
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!
Thanks to everyone who supported this!
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...
October 23, 2025 at 9:15 AM
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...
I joined the editorial board of Nature Humanities and Social Sciences Communications. Send us your punchiest articles on AI & humanities :-)
October 22, 2025 at 10:45 AM
I joined the editorial board of Nature Humanities and Social Sciences Communications. Send us your punchiest articles on AI & humanities :-)
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.
October 20, 2025 at 5:29 PM
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.
Happening this week - the Bayes Lightning talks
October 20, 2025 at 9:16 AM
Happening this week - the Bayes Lightning talks
Discovering declarative coffee in Denmark
October 19, 2025 at 6:55 AM
Discovering declarative coffee in Denmark
Hello Copenhagen!
Will be talking at DTU at 11 on reasoning with small and large models
Will be talking at DTU at 11 on reasoning with small and large models
October 16, 2025 at 7:06 AM
Hello Copenhagen!
Will be talking at DTU at 11 on reasoning with small and large models
Will be talking at DTU at 11 on reasoning with small and large models
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!
Thanks to Hugo-Lopez for the invite!
October 15, 2025 at 8:35 AM
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!
Thanks to Hugo-Lopez for the invite!
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!
Thanks to Hugo-Lopez for the invite!
October 15, 2025 at 8:33 AM
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!
Thanks to Hugo-Lopez for the invite!
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.
Consider partnering with an MSc project at The University of Edinburgh.
October 13, 2025 at 9:45 AM
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.
Consider partnering with an MSc project at The University of Edinburgh.
Some of the talks we covered in our Logic + NN seminar drops.dagstuhl.de/entities/doc...
from graph neural networks to program synthesis!
from graph neural networks to program synthesis!
October 10, 2025 at 9:02 AM
Some of the talks we covered in our Logic + NN seminar drops.dagstuhl.de/entities/doc...
from graph neural networks to program synthesis!
from graph neural networks to program synthesis!
If you are in Edinburgh, do drop into the Bayes Lightning talks on oct 22.
October 9, 2025 at 9:01 AM
If you are in Edinburgh, do drop into the Bayes Lightning talks on oct 22.
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.
October 9, 2025 at 7:26 AM
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.
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...
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...
October 8, 2025 at 10:29 AM
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...
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...
Today: drop-in session on the DDI fellows programme - for your innovative ideas!
www.linkedin.com/posts/bayes-...
Just a week to go for the drop-in session on the DDI fellows programme - for your innovative ideas!
Just a week to go for the drop-in session on the DDI fellows programme - for your innovative ideas!
#innovation #ddifellowship #uoe #entrepreneurship | Bayes Centre
🚀 Enhance you path to innovation with the DDI Fellows Programme Are you ready to turn your innovative ideas into market-ready solutions? Don’t miss the information session for the exciting new DDI...
www.linkedin.com
October 8, 2025 at 7:22 AM
Today: drop-in session on the DDI fellows programme - for your innovative ideas!
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!
October 6, 2025 at 5:56 PM
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!
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
October 6, 2025 at 12:39 PM
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
Model context, protocol, agentic pipelines, & other sorts of orchestration for grounding are all decent steps. However, ultimately, the lack of a world model implies a limitation that may never be crossed.
October 5, 2025 at 8:05 AM
Model context, protocol, agentic pipelines, & other sorts of orchestration for grounding are all decent steps. However, ultimately, the lack of a world model implies a limitation that may never be crossed.
Most many not be aware that we have a 60+ year history in AI: www.ed.ac.uk/ai/legacy - tried to summarize some of this at this talk.
October 4, 2025 at 8:36 AM
Most many not be aware that we have a 60+ year history in AI: www.ed.ac.uk/ai/legacy - tried to summarize some of this at this talk.