Neuro-Symbolic Artificial Intelligence: Integrating Large Language Models with SMT Solvers, Knowledge Graphs, and Formal Automated Theorem Provers
Abstract—Modern deep neural networks, particularly autoregressive Large Language Models (LLMs), have achieved state-of-the-art empirical performance across natural language generation, semantic translation, and broad pattern recognition. However, pure statistical connectionist architectures suffer from fundamental epis...
Pratiyush, Mayank Singh, Vishal Shrivastava et al.
· Zenodo (CERN European Organi... · 0 citations