Vaishak Belle
@vaishakbelle.bsky.social
AI and Science. Faculty at U of Edinburgh. Write and think on: http://www.vaishakbelle.org
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.
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.
November 14, 2025 at 11:01 AM
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.
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.
Olga Fink’s talk on inductive bias in an hour.
November 13, 2025 at 10:48 AM
Olga Fink’s talk on inductive bias in an hour.
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.
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.
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...
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.
Happy for Nijesh to have had this paper accepted at IJCLR. We've been thinking about how to integrate linear constraints and real-valued constraints in inductive logic programming. And Nijesh has been working out a general solution for this.
October 3, 2025 at 12:02 PM
Happy for Nijesh to have had this paper accepted at IJCLR. We've been thinking about how to integrate linear constraints and real-valued constraints in inductive logic programming. And Nijesh has been working out a general solution for this.
Congrats to Josh and other members of the Edinburgh Futures Institute for organizing what seems to have been a very engaging workshop on understanding how generative AI and large language models could potentially impact the tourism industry!
October 2, 2025 at 12:44 PM
Congrats to Josh and other members of the Edinburgh Futures Institute for organizing what seems to have been a very engaging workshop on understanding how generative AI and large language models could potentially impact the tourism industry!