Lmst

SymbolicAI: A neuro-symbolic perspective on LLMs

https://github.com/ExtensityAI/symbolicai

#HackerNews #SymbolicAI #NeuroSymbolic #LLMs #AIResearch #MachineLearning

Double award! 🏆 🏆 Best Poster and the Dieter Fensel Visionary Award at European Semantic Web Conference went to the work "Representing and querying data tensors in #RDF and #SPARQL", done by Piotr Marciniak, our CTO Piotr Sowiński, and Maria Ganzha.

We are deeply thankful for this distinction! The work is absolutely key to #neurosymbolic systems we are building.

Poster: https://ostrzyciel.eu/assets/pdf/poster_tensor_rdf_eswc_2025.pdf
Paper: http://arxiv.org/pdf/2504.19224
Website, code, datasets, and more: https://w3id.org/rdf-tensor

Much of the conversation around AI lately is about #neuroSymbolic systems that combine neural-network tech like #LLMs and symbolic AI like #knowledgeGraphs.

Frank van Harmelen's puts his AI research in the larger context of how these technical systems can best support #people.

While some in the AI world seek to replace #humans with machines, Frank focuses on AI systems that collaborate with people to create #hybridIntelligence.

https://knowledgegraphinsights.com/frank-van-harmelen/

#DIN #Spec 91526 released on #Knowledge #Graphs for #Language models and vice versa: Hybrid applications of #symbolic and sub-symbolic #AI

The #standardization focuses on the advantages of hybrid approaches that combine symbolic knowledge with modern language models.

@NFDI4DS was involved in creating the specification together with other partners from academia and industry.

#LLM #neurosymbolic #KG #DINSPEC

Scallop – A Language for Neurosymbolic Programming

https://www.scallop-lang.org/

#HackerNews #Scallop #Neurosymbolic #Programming #Language #AI #Technology #Innovation

🌟 Call for Submissions for ISWC 2025 is out!! 🌟
The International Semantic Web Conference 2025 will take place in Nara, Japan.
Deadline for the Research track: May 6, 2025 (abstracts), May 13, 2025 (full papers)

#ISWC2025 website: https://iswc2025.semanticweb.org/

#semanticweb #knowledgegraphs #ontologies #logic #AI #generativeAI #llms #neurosymbolic #neurosymbolicAI @iswc_conf @fizise @tabea @sashabruns @enorouzi @MahsaVafaie

Webpage of the ISWC 2025 Conference. The Background picture is showing a autumn landscape with a few trees with colorful leafs. Under the trees, a bunch of deers are grazing. Seems to be a picture from the conference location, which is Nara in Japan, famous for its deers that are not shy of tourists...

Yesterday, the GenAIK 2025 workshop on the integration of generative AI and knowledge graphs took place in Abu Dhabi co-located with #coling2025

#GenAIK2025 website: https://genetasefa.github.io/GenAIK2025/

#generativeAI #knowledgegraphs #AI #semanticweb #ontologies #neuroAI #neurosymbolic @GenAsefa @GenAIK @albertmeronyo @lihuchen @fiz_karlsruhe @lysander07 @NFDI4DS

The empty conference room shortly before the start of the GenAIK 2025 workshop. The welcome screen displays the skyline of Abu Dhabi with the workshop title, venue, and date...

The schedule for the next VSAonline webinar series (January to June 2025) is published at:

https://sites.google.com/view/hdvsaonline/spring-2025

There are 11 talks around #VectorSymbolicArchitecture / #HyperdimensionalComputing

The talks are (almost always) recorded and published online, in case you can't participate in the live session.

@cogsci
#VSA #HDC #CompCogScii #MathPsych #AI #neuromorphic #neurosymbolic #ComputationalNeuroscience #ComputationalCognitiveScience #MathematicalPsychology

SynaLinks HybridAGI:The Programmable Neuro-Symbolic AGI

https://makertube.net/videos/watch/3362a594-de85-4f52-8c18-78f471a2f4f5

SEMANTICS 2025, Research & Innovation track, Call for papers is out! Deadlines:
abstracts: April 25, 2024
full paper: May 2, 2025

https://2025-eu.semantics.cc/page/cfp_rev_rep

#SemanticWeb #knowledgegraphs #llms #AI #generativeAI #symbolicAI #neurosymbolic #cfp #semantics2025 @semantics @fizise @AxelPolleres

Very glad to be at @istecnico, @ULisboa_, @InescID for a research visit of 2 weeks, with Miguel Couceiro.

If you're in the area and would like to talk about #knowledgeGraphs or #neuroSymbolic #ArtificialIntelligence, feel free to reach out!

#Neurosymbolic AI combines neural networks with symbolic reasoning to bring true logic & reasoning to LLMs. By integrating solvers, graphs of rules, & PKGs, we enhance AI beyond just pattern matching. The future is reasoning-driven AI! #NeurosymbolicAI #LLM #AI #KnowledgeGraphs #SymbolicReasoning
https://www.youtube.com/watch?v=473QKajx3QI

Interesting new paper: "Graph-constrained Reasoning (GCR)" - Enabling Faithful KG-grounded LLM Reasoning with Zero Hallucination! 🧠 by Linhao Luo, Zicheng Zhao, Chen Gong, Gholamreza Haffari, Shirui Pan

paper: https://arxiv.org/pdf/2410.13080
GCR code on GitHub: https://github.com/RManLuo/graph-constrained-reasoning

#knowledgegraphs #llms #semanticweb #neurosymbolic #hybridaI #AI

Illustration of existing KG-enhanced LLM reasoning paradigms and proposed graphconstrained reasoning (GCR). 1) First, given a KG, we convert it into the KG-Trie, serving as a structured index to facilitate efficient reasoning path searches using LLMs. 2) Then, we design a graph-constrained decoding process that employs a lightweight KG-specialized LLM to generate multiple KG-grounded reasoning paths and hypothesis answers. This ensures the faithfulness of the reasoning process while leveraging the strong capabilities of LLMs to efficiently explore reasoning paths within KGs. 3) Finally, we input the generated reasoning paths and hypothesis answers into a powerful general LLM to utilize its inductive reasoning ability to produce final answers.

Thanks to Dr. Somak Aditya for enriching our work on Neurosymbolic NLP/AI! Somak is Assistant Professor at IIT Kharagpur and has been visiting UKP Lab as guest faculty in June. He is staying with us until the end of June, continuing his work on Reasoning and Code Prompting.

Learn more about Somak's work on Reasoning and Robustness of LLMs here:

➡️ https://adityasomak.github.io/

#CodePrompting #Reasoning #NLProc #AI #Neurosymbolic #NLP #LLMs

Very close 🤏🏻 to being able to create a demo with my new §Blawx prototype demonstrating 4 of the myriad ways neuro-symbolic AI can be used to enhance #RulesAsCode: drafting the code, running an interview, converting facts to symbolic representations, and converting symbolic AI results to natural language.

Stay tuned...

#AI #NeuroSymbolic #LegalTech

Our article "Linked Open Literature Review using the #NeuroSymbolic Open Research #KnowledgeGraph" @orkg with Fidel Jiomekong and Allard Oelen is now available as #OpenAccess in the ACM The Web Conference proceedings 2024 https://dl.acm.org/doi/10.1145/3589335.3651238 - includes a nice demo video by Fidel

#mediapool.bg want to illustrate an article on bread prices in Bulgaria. What I see is #GenAI overdoing the job.

After having studied how #midjuorney v4 could illustrate fairy tales (for anyone interested, https://qoto.org/@mapto/110111252142814403 ) I really want to research more about what stops GenAI from overdoing it with bread around a baker. The greatest obstacle I encounter is the obscurity of most models that engage with #neurosymbolic. It's practically useless, because the creators of such models prefer to be very secretive about what they do. The one exception reported results that do not seem to be reproducible (https://twitter.com/Birchlabs/status/1602105002448805891).

Image sourced from: https://www.mediapool.bg/kzk-tavanat-za-nadtsenkata-na-hlyaba-e-predizborna-agitatsiya-news359054.html

Image of a baker surrounded by bread that is exaggeratedly AI-generated

The future of what is currently labeled as "neurosymbolic AI" is going to be algebraic.
Category theory is the only framework that provides the required abstraction to characterise all the ingredients in the same language.

#neurosymbolicai
#neurosymbolic
#categorytheory