2509.07122

# Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis **Authors**: - \NameSania Sinha \Emailsinhasa3@msu.edu - \NameTanawan Premsri \Emailpremsrit@msu.edu - \NameDanial Kamali \Emailkamalida@msu.edu - \NameParisa Kordjamshidi \Emailkordjams@msu.edu (\addrDepartment of Computer Science and Engineering) - Michigan State University \theorembodyfont \theoremheaderfont \theorempostheader : \theoremsep Abstract Neurosymbolic (NeSy) frameworks combine neural representations and learning with symbolic representations and reasoning. Combining the reasoning capacities, explainability, and interpretability of symbolic processing with the flexibility and power of neural computing allows us to solve complex problems with more reliability while being data-efficient. However, this recently growing topic poses a challenge to developers with its learning curve, lack of user-friendly tools, libraries, and unifying frameworks. In this paper, we characterize the technical facets of existing NeSy frameworks, such as the symbolic representation language, integration with neural models, and the underlying algorithms. A majority of the NeSy research focuses on algorithms instead of providing generic frameworks for declarative problem specification to leverage problem solving. To highlight the key aspects of Neurosymbolic modeling, we showcase three generic NeSy frameworks - DeepProbLog, Scallop, and DomiKnowS. We identify the challenges within each facet that lay the foundation for identifying the expressivity of each framework in solving a variety of problems. Building on this foundation, we aim to spark transformative action and encourage the community to rethink this problem in novel ways. keywords: Neurosymbolic, Comparing NeSy frameworks, DomiKnowS, DeepProbLog, Scallop, Combining learning and reasoning 1 Introduction Symbolic or good old-fashioned AI focused on creating rule-based reasoning systems (Hayes-Roth, 1985) exemplified with early works such as the Physical Symbol System (Augusto, 2021; Newell, 1980) and ELIZA (Weizenbaum, 1966). However, drawbacks such as limited scalability due to the need to explicitly define domain predicates and rules for each task, lack of robustness in handling messy real-world data, and low computational efficiency led to a decline in the popularity of this paradigm, shifting the focus toward neural computing and deep learning. Deep Learning (LeCun et al., 2015; Ahmad et al., 2019) revolutionized AI as nuanced relationships in data could be learned by backpropagation through multiple layers of processing and creating abstract representations of data. However, it led to a loss of explainability (Li et al., 2023a), dependence on large amounts of data, and rising concerns about its environmental sustainability (Bender et al., 2021). Neurosymbolic AI (Hitzler and Sarker, 2022; Bhuyan et al., 2024), a combination of symbolic AI and reasoning with neural networks, attempts to incorporate the capabilities of both worlds and create systems that are data and time efficient, generalizable, and explainable. Neurosymbolic models have been applied to several real-world applications (Bouneffouf and Aggarwal, 2022) in safety-critical areas (Lu et al., 2024) such as healthcare (Hossain and Chen, 2025) and autonomous driving (Sun et al., 2021). Several techniques have been proposed for this integration (Kautz, 2022; Jayasingha et al., 2025), trying to combine the pros and mitigate the cons from both symbolic and neural methods. However, due to lack of unified libraries to facilitate this research and the focus on specific algorithms rather than generic frameworks, this research becomes less impactful. Moreover, the few generic frameworks tend to vary in problem formulation, implementation, algorithms, and flexibility of use. This poses a challenge in being able to compare their performance uniformly or identify a research direction that improves on previous work. To alleviate this issue, we provide a comparative study with the following key contributions. a) Identifying the main components of existing NeSy frameworks, b) Comparison of frameworks across the identified facets, c) Highlighting the requirements for the next generation of NeSy frameworks, building upon the drawbacks of the current systems and the possible interplays between the neural and symbolic components. We plan to expand this study to cover more frameworks, while the three selected ones are used to explain the aspects of our characterization. These frameworks are demonstrated with four example tasks detailed in Section 8, tying the comparative facets concretely with a technical implementation. \url https://github.com/HLR/nesy-examples <details> <summary>x1.png Details</summary>  ### Visual Description ## Diagram: NeuroSymbolic AI ### Overview The image is a diagram illustrating the interplay between symbolic reasoning and neural learning in the context of NeuroSymbolic AI. It shows the flow of information and relationships between different components, including formal reasoning models, symbolic representation, deep architectures, and data supervision. ### Components/Axes * **Background Regions:** * Left: Light green region labeled "symbolic reasoning" * Center: Light gray region labeled "Interplay" * Right: Light purple region labeled "neural learning" * **Nodes:** * "Formal Reasoning Models + Symbolic Representation" (top-left, within the green region) * "Formal Semantics" (bottom-left, within the green region) * "Symbolic Knowledge Source" (bottom-center, within the green region) * "NeuroSymbolic AI" (center, within the gray region) * "Deep Architectures + Neural Representation" (top-right, within the purple region) * "Data Supervision" (bottom-right, within the purple region) * **Connections:** * Arrows indicate the flow of information between the nodes. * **Types 1-6:** * Located in the center, within the gray "Interplay" region. * Lists different types of NeuroSymbolic AI approaches. ### Detailed Analysis or ### Content Details * **Symbolic Reasoning (Left, Green Region):** * "Formal Semantics" and "Symbolic Knowledge Source" feed into "Formal Reasoning Models + Symbolic Representation". * "Formal Semantics" and "Symbolic Knowledge Source" are enclosed in a dotted rounded rectangle. * **Interplay (Center, Gray Region):** * "NeuroSymbolic AI" is the central node. * An arrow points from "Formal Reasoning Models + Symbolic Representation" to "NeuroSymbolic AI". * An arrow points from "NeuroSymbolic AI" to "Deep Architectures + Neural Representation". * "Types 1-6" lists the following approaches: * symbolic Neuro symbolic * Symbolic[Neuro] * Neuro | Symbolic * Neuro: Symbolic → Neuro * Neuro_{Symbolic} * Neuro[Symbolic] * "Types 1-6" is enclosed in a dotted rounded rectangle. * **Neural Learning (Right, Purple Region):** * "Data Supervision" feeds into "Deep Architectures + Neural Representation". * "Data Supervision" is enclosed in a dotted rounded rectangle. ### Key Observations * The diagram highlights the interaction between symbolic reasoning and neural learning in NeuroSymbolic AI. * The "Interplay" region emphasizes the integration of these two approaches. * "Types 1-6" provides examples of different ways to combine symbolic and neural methods. ### Interpretation The diagram illustrates the concept of NeuroSymbolic AI, which aims to combine the strengths of symbolic reasoning (e.g., interpretability, logical inference) with those of neural learning (e.g., pattern recognition, adaptability). The diagram shows how formal reasoning models and symbolic representations can be integrated with deep architectures and neural representations to create more powerful and versatile AI systems. The "Types 1-6" section suggests different strategies for achieving this integration, ranging from embedding neural components within symbolic systems to using symbolic knowledge to guide neural learning. The diagram suggests that NeuroSymbolic AI is a promising direction for future AI research, as it has the potential to overcome the limitations of purely symbolic or purely neural approaches. </details> Figure 1: An overview of the main components of a neurosymbolic framework. 2 Neurosymbolic Frameworks A NeSy framework should provide flexibility for modeling both neural and symbolic components (Kordjamshidi et al., 2016, 2015) and their interplay in a unified declarative framework, going beyond specific underlying algorithms and techniques Kordjamshidi et al. (2015). On the symbolic side, a generic framework should support a symbolic representation language that can be seamlessly connected to neural components and cover different symbolic reasoning mechanisms. On the neural side, we need to have the flexibility of connecting to various architectures, including various loss functions, sources of supervision, and training paradigms. More importantly, a NeSy framework should provide a modeling language for specification and seamless integration of the two components in building pipelines or arbitrary composition of models. Such a NeSy framework should support neuro-symbolic training and inference beyond specific integration algorithms. We distinguish between NeSy techniques and NeSy frameworks. By techniques, we mean when task-specific solutions are provided (Lample and Charton, 2020; Burattini et al., 2002). For example, AlphaGo (Silver et al., 2016) introduced a reinforcement learning solution to Go, using Monte Carlo Tree Search as a symbolic component inside a neural network. Another example is NS-CL (Mao et al., 2019) (Neuro-Symbolic Concept Learner) that integrates neural perception with symbolic reasoning to learn visual concepts and compositional language grounding for VQA tasks. Many other techniques and algorithms are proposed for the interplay between the two paradigms (Badreddine et al., 2022; Cohen et al., 2017; Smolensky et al., 2016; Lima et al., 2005; Sathasivam, 2011; Serafini and d’Avila Garcez, 2016; Lamb et al., 2021) such as Inference Masked Loss (Guo et al., 2020), Semantic Loss (Xu et al., 2018), Primal-Dual (Nandwani et al., 2019), etc., later discussed in Section 6. NeSy techniques often lack the generality of frameworks, which are designed as broader tools intended for practical use and extensibility with new integration algorithms and with the capability of programming and configuring the two parts and their interplay. In this work, we focus on a selection of generic NeSy frameworks. The following are examples of research efforts towards advancing the development of such general-purpose frameworks: DeepProbLog (Manhaeve et al., 2021) is a probabilistic logic programming language, incorporating neural predicates in logic programming with an underlying differentiable translation of logical reasoning. The probabilistic logic programming component is built on top of ProbLog (De Raedt et al., 2007). DomiKnowS (Rajaby Faghihi et al., 2021; Faghihi et al., 2023, 2024) is a declarative learning-based programming framework (Kordjamshidi et al., 2019) that integrates symbolic domain knowledge into deep learning. It is a Python framework, facilitating the incorporation of logical constraints that represent domain knowledge with neural learning in PyTorch. Scallop (Huang et al., 2021; Li et al., 2023b, 2024) is a framework that includes flexible symbolic representation based on relational data modeling, using a declarative logic programming built on top of Datalog (Abiteboul et al., 1995) with a framework for automatic differentiable reasoning. LEFT (Hsu et al., 2023) is a less generic framework designed for grounding language in visual modality and compositional reasoning over concepts. The framework consists of an LLM interpreter that converts natural language to logical programs. The generated programs are directed to a differentiable, domain-independent, and soft first-order logic-based executor. LEFT is limited to tasks requiring grounding language in vision such as visual question answering (Johnson et al., 2017; Yi et al., 2018; Liu et al., 2019). Building on this foundation, NeSyCoCo (Kamali et al., 2025) was introduced to address the limitations of LEFT, particularly its struggle with lexical variety and handling unseen concepts. NeSyCoCo extends LEFT’s approach by using distributed word representations to connect a wide variety of linguistically motivated predicates to neural modules, thus alleviating the reliance on a predefined predicate vocabulary. PyReason (Aditya et al., 2023) is a library built to support reasoning on top of outputs from neural networks. The neural component produces outputs such as labels or concept scores. While the symbolic component does graph-based reasoning using logic rules declared over a graph structure. It can produce an explanation trace for inference and has a memory-efficient implementation. PLoT (Wong et al., 2023) (Probabilistic Language of Thought) is a proposed framework leveraging neural and probabilistic modeling for generative world modeling. It models thinking with probabilistic programs and meaning construction with neural programs. The goal is to provide a language-driven unified thinking interface. CCN+ (Giunchiglia et al., 2024) is a framework that modifies the output layer of a neural network to make results compliant with requirements that can be expressed in propositional logic. A requirement layer, ReqL, is built on top of the neural network. The standard cross-entropy loss is adapted into a ReqLoss to learn from the constraints in the ReqL layer. DeepLog (Derkinderen et al., 2025) is another proposed neurosymbolic AI framework that unifies logic and neural computation under a declarative paradigm. It introduces a DeepLog language, which is an annotated neural extension of grounded first-order logic capable of abstracting various logics and applying them either in model architecture or loss functions. It employs computational algebraic circuits implemented on GPUs, forming a neurosymbolic abstract machine. Together, DeepLog allows efficient specification and execution of diverse neurosymbolic models and inference tasks in a declarative fashion. We characterize frameworks based on: a) Symbolic knowledge representation language, b) Representation and flexibility of Neural Modeling, c) Model Declaration, d) Interplay between symbolic and sub-symbolic systems, and e) The usage of LLMs. Figure 1 shows the relationship between these different aspects. The neural representations and the symbolic representations are the two main components of a neurosymbolic framework. The neural representation guides learning and obtaining supervision from the data, while the symbolic representations leverage symbolic reasoning, where the symbolic knowledge can be exploited during training or inference. Table 1 shows an overview of the frameworks across chosen features. For future sections, we focus on DomiKnowS, DeepProbLog, and Scallop to provide a deeper investigation of the challenges in each component. Due to differences in implementation, each framework allows for easy implementation of different types of tasks. The chosen frameworks enable us to solve the same task in multiple frameworks. Table 1: Frameworks with their comparative factors. Lang: External language required, Knowledge Rep: Knowledge Representation, Model Dec: Model Declaration flexibility, Algorithm: Supported algorithm(s) for learning and inference, Eff: Computational efficiency considerations, LLM: Use of Large Language Models. 3 Symbolic Knowledge Representation Generic Neuro-Symbolic (NeSy) systems and frameworks use symbolic knowledge representation languages to encode constraints, facts, probabilities, and rules. Frameworks vary in how they represent and integrate this symbolic knowledge. Many employ classical formal logic, grounded in well-defined syntax and semantics, and adapt these representations and reasoning mechanisms within a unified integration framework. Some frameworks build on established formalisms such as logic programming or constraint satisfaction. In contrast, others take an entirely new hybrid semantics, while preserving conventional symbolic syntax. Figure 2 compares the implementation of symbolic knowledge (concepts or facts) for the MNIST Sum task. In general, the domain knowledge consists of the two concepts of digits and the sum. As can be seen, DomiKnowS represents a part of symbolic domain knowledge as a graph $G(V,E)$ , where the nodes are the concepts in the domain and the edges are the relationships between them. Each node can have properties. More complex knowledge beyond entities and relations is expressed with a pseudo first-order logical language with quantifiers designed in Python. DomiKnowS mostly interprets the symbolic knowledge as logical constraints, such as the implementation of sum_combinations in the given example. Unlike the other frameworks, DomiKnowS does not build on predefined formal semantics. It follows a FOL-like syntax for symbolic logical representations, making it independent of the formal semantics of an underlying formal language and allows more flexibility of representations and adaptation to underlying algorithms in the framework. DeepProbLog, on the other hand, utilizes logical predicates that are originally a part of the probabilistic logic programs (Ng and Subrahmanian, 1992) of ProbLog (De Raedt et al., 2007), for its symbolic representation. These neural predicates obtain their probability distributions from the underlying neural models. Probabilistic facts, neural facts, and neural annotated disjunctions (nAD) whose probabilities are supplied by the neural component of the program can be added. Here, digit is a neural predicate as indicated by the use of nn(...). DeepProbLog follows the formal semantics of Prolog (Clocksin and Mellish, 2003), <details> <summary>x2.png Details</summary>  ### Visual Description ## Code Snippets: DomiKnowS, DeepProbLog, and Scallop ### Overview The image presents three code snippets, each associated with a different system or framework: DomiKnowS, DeepProbLog, and Scallop. Each snippet demonstrates a specific aspect of the respective system, likely related to defining concepts, probabilistic logic, and data relations. ### Components/Axes * **DomiKnowS (Top-Left, Light Beige Background):** Code snippet defining concepts related to images, digits, and summations. * **DeepProbLog (Top-Right, Light Purple Background):** Code snippet demonstrating probabilistic logic rules for digits and addition. * **Scallop (Bottom-Center, Light Green Background):** Code snippet showing how to add relations and rules within the Scallop framework, specifically for digits and their summation. ### Detailed Analysis or ### Content Details **DomiKnowS:** ``` image = Concept() digit = image(ConceptClass=NumericalConcept) image_pair = Concept() (pair_d0, pair_d1) = image_pair.has_a( digit0=image, digit1=image) s = image_pair( ConceptClass=EnumConcept, values=summations) ... sum_combinations.append( andL( getattr(digit, d0_nm) (path=('x', pair_d0)), getattr(digit, d1_nm) (path=('x', pair_d1)))) ... ``` **DeepProbLog:** ``` nn(m_digit, [X], Y, [0.....9]):: digit(X,Y). addition(X,Y,Z) :- digit(X,X2), digit(Y,Y2), Z is X2+Y2. ``` **Scallop:** ``` scl_ctx.add_relation( "digit_1", int, input_mapping= list(range(10))) self.scl_ctx.add_relation( "digit_2", int, input_mapping= list(range(10))) self.scl_ctx.add_rule( "sum_2(a + b) :- digit_1(a), digit_2(b)") self.sum_2 = self.scl_ctx.forward_function ("sum_2", output_mapping= [(i,) for i in range(19)]) ``` ### Key Observations * **DomiKnowS:** Focuses on defining hierarchical concepts, such as `image`, `digit`, and `image_pair`. It uses `getattr` to access attributes within these concepts. * **DeepProbLog:** Uses a probabilistic logic syntax to define a digit predicate based on neural network output and an addition rule. * **Scallop:** Demonstrates the creation of relations (`digit_1`, `digit_2`) and a rule for summing two digits (`sum_2`). It also shows the use of a forward function to map the sum. ### Interpretation The image provides a glimpse into three different approaches to knowledge representation and reasoning. DomiKnowS appears to use a concept-based approach with attribute access, DeepProbLog employs probabilistic logic, and Scallop utilizes relations and rules for data manipulation. The snippets suggest that each system is designed for different types of tasks, with DomiKnowS potentially suited for hierarchical knowledge representation, DeepProbLog for probabilistic reasoning, and Scallop for data-driven computations. The common theme is the manipulation of digits and their summation, showcasing how each system handles this basic operation. </details> Figure 2: Comparison of Symbolic Representation across frameworks. followed by ProbLog, its probabilistic extension. Finally, Scallop adopts a relational data model for symbolic knowledge representation (Kolaitis and Vardi, 1990). Scallop is built on top of the syntax and formal semantics of Datalog and its probabilistic extensions, relaxing the exact semantics of ProbLog. It allows for the expression of common reasoning, such as aggregation, negation, and recursion. Similar to DeepProbLog, some of these predicates in the symbolic part obtain their probability distribution from neural models, such as digit_1 and digit_2. Additionally, while ProbLog requires exhaustive search for computations, Datalog can use top-k results and exploit database optimizations, making Scallop algorithmically more time-efficient than DeepProbLog. 4 Neural Models Representations The other core component of a NeSy system is the neural modeling that is integrated with the symbolic knowledge discussed above. The neural models are mostly wrapped up under the logical predicate names in most of the frameworks that have an explicit logical knowledge representation language. To best leverage the reasoning capabilities of the symbolic system available and the ability of neural models to learn abstract representations from data, the neural models are used as abstract concept learners for the concepts defined as logical predicates in the symbolic representation. The neural model representation is often used to predict probability distributions for the symbolic concepts based on raw sensory inputs. The neural modeling is often written using standard deep learning libraries, such as PyTorch (Paszke et al., 2019). Figure 3 shows snippets of neural modeling <details> <summary>x3.png Details</summary>  ### Visual Description ## Code Snippets: DomiKnowS, DeepProbLog, and Scallop ### Overview The image presents code snippets from three different systems: DomiKnowS, DeepProbLog, and Scallop. Each snippet defines classes and their initialization, showcasing how neural networks are implemented and integrated within these systems. ### Components/Axes * **Titles:** DomiKnowS (top-left), DeepProbLog (top-right), Scallop (bottom-center) * **Code Snippets:** Each section contains Python-like code defining classes and their attributes. ### Detailed Analysis or ### Content Details **1. DomiKnowS (Top-Left, Light Gray Background)** * **Class Definition:** `class Net:` * **Comment:** `# neural network` * **Image Processing:** * `image['pixels'] = ReaderSensor(keyword='pixels')` * `image_batch['pixels', image_contains.reversed] = JointSensor(image['pixels'], forward=make_batch)` * `image['logits'] = ModuleLearner('pixels', module=Net())` * **Ellipsis:** `...` (indicating more code not shown) **2. DeepProbLog (Top-Right, Light Purple Background)** * **Class Definition:** `class MNIST_Net:` * **Comment:** `# neural network` * **Network Initialization:** * `network = MNIST_Net()` * `net = Network(network, "mnist_net", batching=True)` * `net.optimizer = torch.optim.Adam(network.parameters(), lr=1e-3)` * `model = Model("models/addition.pl", [net])` * **Ellipsis:** `...` (indicating more code not shown) **3. Scallop (Bottom-Center, Light Green Background)** * **Class Definition 1:** `class MNISTSum2Net(nn.Module):` * `def __init__(self, provenance, k):` * `self.mnist_net = MNISTNet()` * `# neural network` * `self.scl_ctx = scallopy.ScallopContext(provenance=provenance, k=k)` * **Class Definition 2:** `class Trainer():` * `def __init__(self, train_loader, test_loader, model_dir, learning_rate, loss, k, provenance):` * `self.model_dir = model_dir` * `self.network = MNISTSum2Net(provenance, k)` * `self.optimizer = optim.Adam(self.network.parameters(), lr=learning_rate)` * **Ellipsis:** `...` (indicating more code not shown) ### Key Observations * All three systems involve neural networks. * DomiKnowS focuses on image processing using `ReaderSensor`, `JointSensor`, and `ModuleLearner`. * DeepProbLog uses `MNIST_Net` and `Network` classes, with an Adam optimizer and a learning rate of `1e-3`. * Scallop integrates with `scallopy.ScallopContext` and defines a `Trainer` class with configurable learning rates. ### Interpretation The code snippets illustrate different approaches to integrating neural networks within various systems. DomiKnowS appears to be geared towards image-based tasks, DeepProbLog focuses on probabilistic logic programming with neural networks, and Scallop seems to provide a framework for training and managing neural network models with provenance tracking. The use of common libraries like `torch.optim.Adam` suggests a shared foundation in deep learning practices. </details> Figure 3: For neural integration, DomiKnowS utilizes sensors and readers for reading in data, while a learner connects to a network. DeepProbLog connects the neural network to the ProbLog file, requiring data handling to construct the terms and queries from the raw data. Scallop has an additional layer on top of the standard network that adds the symbolic context. expressions across frameworks, highlighting differences in implementation. Scallop utilizes relatively standard neural modeling using PyTorch, while needing an added context of symbolic rules. Although integrated into Python, the context relation and rule setup are verbatim from DataLog and only passed as a parameter to a function, which requires familiarity with DataLog and its semantics. DeepProbLog, on the other hand, needs manual configuration of the raw data and processing into queries built for ProbLog, on top of other standard neural components. This processed data is passed into the neural network which is then connected to a ProbLog program, such as addition.pl in the figure. DomiKnowS’s neural component is built in PyTorch. Unlike other frameworks, DomiKnowS has built-in components called Readers, Sensors and Module learners that make the connection to neural components and feeding data to them explicit in the program. This provides more flexibility in connecting the concepts to deterministic or probabilistic functions that can interact with other symbolic concepts. The module learner can also use custom models. This makes the interaction with raw data structured, transparent, and controllable. 5 Model Declaration Most frameworks utilize neural components as abstract concept learners and use a symbolic component to reason over the learned concepts. Each learner is a model and model declaration refers to the flexibility of modularizing and connecting different learners. Each learner can receive supervision independently. In most neurosymbolic frameworks, the supervision from data is usually provided based on the final output of the end-to-end model. For example, in an MNIST Sum task used throughout and detailed in Section 8, the neural and symbolic components are trained based on the final output of the sum, without access to individual digit labels in a semi-supervised setting. The task loss, e.g., a Cross-Entropy Loss, is computed, and errors are backpropagated through the differentiable operations that led to the output generation. For example, in DeepProbLog, we can declare a single loss function associated with the entire neural component. Gradient computations differ across frameworks depending on whether losses are defined individually for each neural output or specified as a single global loss function. However, there remains a need for models capable of incorporating supervision at multiple levels of their symbolic representations. In DomiKnowS, loss computation can be defined for each symbol. Since each concept is linked to both learning modules and ground-truth labels, their losses can be integrated seamlessly. This enables joint training of all concepts alongside the target task, allowing each concept to be optimized more effectively—leveraging available data without relying solely on the target task’s output. In other words, it provides the flexibility of building pipelines of decision making, obtaining distant supervision in addition to joint training and inference. 6 Interplay between Symbolic and Sub-symbolic Kautz (2022) provides a characterization of the possible interplays between symbolic and sub-symbolic components. This interplay of neurosymbolic can be explained by the concept of System 1 and System 2 thinking described in Kahneman (2011). Research in this field aims to create an ideal integration that seamlessly supports ”thinking fast and slow” (Booch et al., 2021; Fabiano et al., 2023). Here, System 1 refers to the fast neural processing, while System 2 corresponds to the slower, more deliberate symbolic reasoning. Different methods for the integration of symbolic reasoning and neural programming have been explored such as employing logical constraint satisfaction, integer linear programming, differentiable reasoning, probabilistic logic programming. In this section, we will discuss a system-level algorithmic comparison of the different frameworks. DomiKnowS models the inference as an integer linear programming problem to enforce the model to follow constraints expressed in first-order logical form (Van Hentenryck et al., 1992). The objective of the program is guided by the neural components, and the framework supports multiple training algorithms for learning from constraints. The Primal-Dual formulation (Nandwani et al., 2019) converts the constrained optimization problem into a min-max optimization with Lagrangian multipliers for each constraint, augmenting the original loss with a soft logic surrogate to minimize constraint violations. Sampling-Loss (Ahmed et al., 2022), inspired by semantic loss (Xu et al., 2018) and samples a set of assignments for each variable based on the probability distribution of the neural modules’ output. Integer Linear Programming (ILP) (Cropper and Dumančić, 2022) formulates an optimization objective based on Inference-Masked Loss (Guo et al., 2020) to constrain the model during training. The training goal is to adjust the neural models to produce legitimate outputs that adhere to the given constraints. At prediction time, ILP can also be applied to enforce final predictions that comply with given constraints. DomiKnowS relies on the off-the-shelf optimization solver Gurobi (Gurobi Optimization, LLC, 2024) DeepProbLog models each problem as a probabilistic logical program that consists of neural facts, probabilistic facts, neural predicates, and a set of logical rules. A joint optimization of the parameters of the logic program is done alongside the parameters of the neural component. Neural network training is done using learning from entailment (Frazier and Pitt, 1993) while in ProbLog, gradient-based optimization is performed on the underlying generated Arithmetic Circuits (Shpilka et al., 2010), which is a differentiable structure. The Arithmetic Circuits are transformed from a Sentential Decision Diagram (Darwiche, 2011) generated by ProbLog. Algebraic ProbLog (Kimmig et al., 2011) is used to compute the gradient alongside probabilities using semirings (Eisner, 2002). Scallop is similar in its setup to DeepProbLog where it creates an end-to-end differentiable framework combining a symbolic reasoning component with a neural modeling component. They aim to relax the formal semantics required by the use of ProbLog in DeepProbLog and instead rely on a symbolic reasoning language extending DataLog, built into their framework. They have a customizable provenance semiring framework (Green et al., 2007), where different provenance semirings, such as extended max-min semiring and top-k proofs semiring, allow learning using different types of heuristics for gradient calculations. Table 2 compares the computational efficiency of these models at training and inference time on a single training/testing example. As theoretically suggested, Scallop is expected to outperform other frameworks in inference and training speed, owing to its memory and time-efficient implementation in Rust. The results in Table 2 support this expectation, with Scallop achieving the fastest inference time, on par with DomiKnowS. In practice, DeepProbLog achieves slightly faster training performance than Scallop. This discrepancy may be due to overhead unrelated to the core algorithmic complexity. DomiKnowS exhibits slower training due to the overhead of uploading the entire graph of data into memory. 7 Role of Large Language Models Large foundation models hold significant promise for overcoming the bottleneck of acquiring symbolic representations, which are essential for symbolic reasoning and consequently in neurosymbolic frameworks. Source of Symbolic Knowledge: The symbolic knowledge in neuro-symbolic systems, which is integrated with the neural component, can originate from several distinct sources. While most systems require explicit, hand-crafted symbolic knowledge, earlier classical logic-based learning research can be used for automatically learning rules from data by using inductive logic programming (Nienhuys-Cheng and de Wolf, 1997; Bratko and Muggleton, 1995) or mining constraints. Nowadays, even LLMs can be utilized to generate symbolic knowledge (Pan et al., 2023a; Mirzaee and Kordjamshidi, 2023; Acharya et al., 2024; Xu et al., 2024a). Several neurosymbolic frameworks and systems have tried utilizing large foundation models to generate the symbolic knowledge, based on the task or query, to overcome the labor-intensive nature of hand-crafting rules for every single task and the time required in the automatic learning of symbolic knowledge from data (Ishay et al., 2023; Xu et al., 2024a; Yang et al., 2024). Extraction of symbolic representations from Foundation Models has become possible given the vast implicit knowledge stored within these models, such as LLMs and multimodal models, which are trained on massive and diverse corpora (Li et al., 2024; Petroni et al., 2019). These models can generate symbolic content (e.g., candidate rules, knowledge graph triples, or logic statements), perform reasoning that mimics symbolic inference, or act as components alongside symbolic modules (Fang and Yu, 2024). For example, LLMs can be prompted to extract facts from unstructured text, effectively populating a symbolic knowledge graph (Yao et al., 2025). Techniques like Symbolic Chain-of-Thought inject formal logic into the LLM’s reasoning process, improving accuracy and explainability on logical reasoning tasks (Xu et al., 2024b). However, foundation models are prone to hallucinations and lack the strict logical guarantees of traditional symbolic systems (Zheng et al., 2024). Therefore, integrating foundation models often requires careful prompting, verification steps to ensure reliability (Xu et al., 2024b). Generation of inputs to symbolic engines: LLMs have also been used to generate translations from raw inputs, specially natural language, to symbolic language that is then fed into a symbolic reasoner. In examples such as Logic-LM (Pan et al., 2023b), LLMs are leveraged to convert a natural language query into symbolic language that is then solved by a symbolic reasoner. This method improves the performance of unfinetuned LLMs on logical reasoning-based tasks. DomiKnowS (Faghihi et al., 2024) takes this a step further by enabling users to describe problems in natural language which LLMs then use to generate relevant concepts and relationships. Through a user-interactive process, these concepts and relationships are refined iteratively. Finally, the LLM translates the user-defined constraints from natural language into first-order logic representations before converting them into DomiKnowS syntax. Some systems use LLMs in multiple capacities. In VIERA (Li et al., 2024), which is built on top of Scallop, 12 foundation models can be used as plugins. These models are treated as stateless functions with relational inputs and outputs. These foundation models can be either language models like GPT (OpenAI et al., 2024) and LLaMA (Touvron et al., 2023), vision models such as OWL-ViT (Minderer et al., 2022) and SAM (Kirillov et al., 2023), or multimodal models such as CLIP (Radford et al., 2021). These models can be used to extract facts, assign probabilities, or for classification, and are treated as ”foreign predicates” in their interface. An older version, DSR-LM (Zhang et al., 2023) of this utilized BERT-based language models for perception and relation extraction, combined with a symbolic reasoner for question answering. LEFT, on the other hand, uses LLMs both for the generation of the concepts that are used for grounding and as an interpreter to generate the first-order logic program corresponding to a natural language query, that is solved by the symbolic executor. 8 Example Tasks NeSy frameworks formulate problems in various ways based on their implementation and symbolic interpretation. In DomiKnowS, the symbolic reasoning part is formulated as a logical constraint solving problem. The domain is represented as a graph $G(V,E)$ , where the nodes are the concepts in the domain and the edges are the relationships between them. Each node can have properties. The final logical constraints apply to the graph concepts. In DeepProbLog, the symbolic reasoning problem is interpreted a probabilistic logic programs in ProbLog. In Scallop, similarly, the problem is viewed as a combination of the neural and the symbolic components where the symbolic part is a probabilistic logical program similar to DeepProblog with further optimized inference. In LEFT, the problem is limited to the application of concept learning and grounding language into visual modality. Here, the neural model is composed of feature extractors, object and relation classifiers (concept learners), and a first-order logic program generator for a given question. In this section, we will compare the problem formulations in each of these frameworks for a set of tasks. Note that we only include LEFT for the visual question answering task due to the domain-specific nature of the framework. All code associated with these tasks and referenced in this section is maintained publicly on GitHub. \url https://github.com/HLR/nesy-examples | Framework DomiKnowS | MNIST Sum Training Time (ms) 37.72 | Toy-NER Testing Time (ms) 2.34 | Memory (MB) 573.80 | Training Time (ms) 14.86 | Testing Time (ms) 14.29 | Memory (MB) 576.82 | | --- | --- | --- | --- | --- | --- | --- | | DeepProbLog | 5.84 | 3.24 | 739.72 | 20.74 | 20.47 | 3767.08 | | Scallop | 6.50 | 2.35 | 581.36 | 1.50 | 1.05 | 297.1 | | Math-Inference | Simple VQA | | | | | | | Framework | Training Time (ms) | Testing Time (ms) | Memory (MB) | Training Time (ms) | Testing Time (ms) | Memory (MB) | | DomiKnowS | 77.46 | 69.58 | 1039.30 | 81.02 | 60.52 | 1413.44 | | DeepProbLog | 5.54 | 5.07 | 1588.30 | 755.13 | 363.81 | 1346.23 | | Scallop | 0.948 | 0.223 | 345.48 | 13.17 | 22.66 | 768.4 | | LEFT | N/A | N/A | N/A | 6.19 | 3.44 | 755.1 | Table 2: Time and Space efficiency for each framework across 4 tasks. Time and memory records are averaged over 5 runs. Times are in milliseconds per sample. Memory utilization is in megabytes and indicates the overall memory for training. 8.1 MNIST Sum The MNIST Sum task is an extension of the classic MNIST handwritten digit recognition task (Lecun et al., 1998) where given two images of digits, the task is to output their sum that is a whole number. The training examples consist of the two images of the digits and the ground-truth label of their sum. The individual labels of the digits are not available for training. 8.1.1 DomiKnowS Problem Specification. DomiKnowS formulates the problem using graph representations of concepts, relations, and logic. For performing the MNIST Sum task in DomiKnowS, the first concept defined is image concept representing visual information. The digit concept, a subclass of image, is introduced to represent the output class, ranging from 0 to 9. To establish relationships between digit images, the image pair concept is defined as an edge connecting two digit concepts. The sum concept is then introduced under image pair to represent the summation of the two digit concepts and the ground-truth output of the program. For this task, three constraints are defined. The first two constraints utilize exactL to ensure that the predicted digit and sum values belong to only one valid class. Another constraint enforces that the expected sum value matches the sum of the two digit predictions. This is implemented using ifL constraints, which verify whether the predicted digits form one of the possible solutions for a valid sum. If multiple solutions exist, the orL constraint ensures that at least one of the answers corresponds to the predicted digits. Neural Modeling. The model declaration comprises standard neural modeling components, including data loading, pre-processing, neural network definition, and loss function specification. The process begins with the ReaderSensor, which reads the input image. Next, a relation concept is defined using another sensor, JointSensor, to establish connections between images. The module learner is then employed to generate an initial prediction for the digit concept, which is subsequently passed to another sensor, FunctionalSensor, to compute the sum of two images. 8.1.2 DeepProbLog Problem Specification. DeepProbLog formulates a problem regarding probabilistic facts, neural facts, and neural annotated disjunctions (nAD). In the MNIST Sum task, the fact $X$ is defined to represent the input image. A neural network function is then introduced to map $X$ to its corresponding digit, denoted as digit( $X,Y$ ). To enforce constraints about the summation and the ground-truth sum, a function is defined to compute the sum of two digits. Neural Modeling. The neural modeling follows a standard neural network setup, such as a CNN-based classifier. It is preceded by data loading and pre-processing, which are performed separately from the ProbLog program. Thus, the neural model used in DeepProbLog can be initialized independently of the DeepProbLog model. Once the neural model is initialized, the framework passes it along with a probabilistic program as input. 8.1.3 Scallop Problem Specification. Scallop formulates the problem in terms of relations, values, and (Horn) rules derived from Datalog. As discussed earlier, the concepts and constraints defined in this framework are similar to those in DeepProbLog. However, these rules can be directly embedded into a Scallop program through its API. The process begins by establishing the concepts digit1 and digit2 to represent the digit values of two given images. Based on the summation of these two values, it must be equal to the $sum\_2$ logical reasoning module, which serves as the ground truth for this task. Neural Modeling. Unlike DeepProbLog, the neural modeling is integrated with Scallop’s relation and rule declaration. The neural modeling remains a standard neural network. 8.2 Shapes The Shapes dataset is a synthetic VQA benchmark designed to evaluate elementary spatial reasoning. Each sample consists of a $128× 128$ pixel image where the task is to answer the fixed question: “Is there a red shape above a blue circle?”. The primary rationale for using a synthetic dataset is to create a controlled experimental environment. This approach allows us to isolate specific reasoning skills—such as attribute binding and relational understanding—from the perceptual complexities and spurious correlations. Positive examples are generated by programmatically placing a red object (circle, square, or triangle) above a blue circle. In negative examples, this specific spatial configuration is absent. To increase task complexity, every image also contains one to three randomly placed, non-overlapping distractor objects with varying shapes and colors. The dataset comprises 2,000 images, divided into perfectly balanced training and testing sets of 1,000 samples each. Examples of this benchmark are shown in Figure 4. <details> <summary>shapes_positive.png Details</summary>  ### Visual Description ## Image Description: Geometric Shapes ### Overview The image contains a collection of geometric shapes, including circles and a triangle, colored in red and blue. The shapes are positioned in the left portion of the image against a white background. ### Components/Axes * **Shapes:** Circles (two blue, one red), Triangle (red) * **Colors:** Red, Blue * **Arrangement:** The shapes are clustered in the lower-left quadrant, with the red triangle positioned above and to the left of the circles. ### Detailed Analysis or Content Details * **Red Triangle:** Located in the top-left quadrant. * **Blue Circles:** Two blue circles of different sizes are positioned close to each other in the lower-left quadrant. * **Red Circle:** A single red circle is located near the blue circles, slightly to the right and below them. ### Key Observations * The image is simple and lacks any specific labels or axes. * The shapes are basic geometric forms with distinct colors. * The arrangement seems arbitrary without any apparent pattern or relationship. ### Interpretation The image appears to be a collection of geometric shapes without any explicit meaning or context. The arrangement and colors do not suggest any particular relationship or trend. It could be an abstract design or a placeholder image. Without additional information, it's difficult to determine the purpose or significance of the image. </details> True example: A red triangle is above a blue circle. <details> <summary>shapes_false.png Details</summary>  ### Visual Description ## Diagram: Simple Shape Arrangement ### Overview The image shows a simple arrangement of geometric shapes: two blue circles of different sizes positioned in the upper half of the image, and a red square located in the lower half. There is no data or specific information conveyed beyond the shapes and their relative positions. ### Components/Axes * **Shapes:** Two blue circles (one larger, one smaller), one red square. * **Colors:** Blue, Red. * **Positioning:** The larger blue circle is located on the top-left, the smaller blue circle is located on the top-right, and the red square is located at the bottom-center. ### Detailed Analysis or ### Content Details * The larger blue circle is approximately twice the size of the smaller blue circle. * The red square is smaller than both blue circles. * The vertical distance between the blue circles and the red square is greater than the horizontal distance between the two blue circles. ### Key Observations * The arrangement appears arbitrary, with no apparent pattern or relationship between the shapes beyond their visual presence. ### Interpretation The image lacks any explicit data or information. It is a simple visual composition of basic geometric shapes. The arrangement does not suggest any specific meaning or relationship between the shapes. The image could be used as a placeholder, a simple illustration, or an abstract design element. </details> False example: No red shape is above a blue circle. Figure 4: Examples from the Shapes dataset for the question “Is there a red shape above a blue circle?” 8.2.1 Common Perception–Reasoning Interface We decompose the system into: (i) a neural perception unit producing distributions over object attributes and pairwise relations; and (ii) a symbolic reasoning unit that consumes these as soft facts over the object domain and evaluates a single existential rule encoding the query. Supervision is a binary yes/no label optimized via a cross-entropy loss on the final answer distribution. 8.2.2 DomiKnowS Problem Specification. DomiKnowS formulates the problem as a graph representation. It first declares the image concept to represent the visual input. The objects concept is then defined to represent the individual objects contained within the image. An explicit connection declaration is established in the framework between images and objects, indicating that each image may contain multiple objects. Under the image concept, two additional concepts— color and shape —are introduced to represent the attributes of each object for each shape and color considered. These two concepts serve as the outputs of the neural modeling component. Next, DomiKnowS defines a relation concept between pairs of objects to capture their relational structure within the same image. Finally, symbolic reasoning is expressed using existsL, which denotes the existence of a particular combination of queries. The inference takes the following form: existsL(is_red(X), is_blue(Y), is_circle(Y), relation(Rel)) where the $X$ and $Y$ represent the first object and second object, $Rel$ represent the relation of $X$ and $Y$ . Neural Modeling. DomiKnowS uses a class of functions called ReaderSensor s to process the raw input data. A ModuleLearner is then employed to query the object-centric encoder, producing representations of the objects within the image. These representations are subsequently passed to three ModuleLearner to predict the color (red and blue) and shape (circle) attributes of the objects. A CompositionCandidateSensor is used to connect pairs of objects within the image, providing the information needed to compute their relations. Finally, the framework aggregates all information through predefined logical expressions, which are used to infer the final output. 8.2.3 DeepProbLog Problem Specification. We use a ProbLog program with neural annotated disjunctions for color(Image,O,C), shape(Image,O,S), and relation(Image,O1,O2,R). The decision rule is: answer(Image, yes) :- obj(O1), obj(O2), O1 /= O2, color(Image,O1,red), color(Image,O2,blue), shape(Image,O2,circle), relation(Image,O1,O2,R). A complementary answer(Image, no) ensures a normalized binary outcome. The object domain obj/1 is declared up to $n_{\max}$ derived from annotations. Batched queries are issued as answer(tensor(batch(I)), Y) and solved with an exact engine. Neural Modeling. An object-centric encoder crops and embeds objects; heads output categorical distributions for color and shape per object and for relation per ordered object pair. These heads are wrapped as DeepProbLog networks and bound to the program’s neural predicates, enabling end-to-end training from the answer predicate. 8.2.4 Scallop Problem Specification. We declare unary predicates over object indices for attributes (red(i), blue(j), circle(j)) and a binary predicate for the chosen spatial relation R(i,j). The query is encoded as a Horn rule: Scallop maps soft facts to weighted relations under a differentiable provenance and produces a normalized {yes, no} answer. Neural Modeling. Per-object (color, shape) and per-pair (relation) distributions from the encoder are converted to Scallop facts, respecting masks for padded objects and pairs. The Scallop context composes these facts with the rule to yield the answer distribution, providing gradients to the neural unit. 8.2.5 LEFT Problem Specification. We express the query in first-order logic executed by LEFT’s generalized FOL executor: exists(Object, lambda x: exists(Object, lambda y: above(y, x) and red(x) and circle(y) and blue(y))) The executor grounds over the object domain and evaluates the formula using attribute predicates for unary properties and a binary predicate for the relation, returning a scalar decision consistent with the query. Neural Modeling. The object-centric encoder yields per-object attribute scores (for color/shape) and per-pair relation scores. These tensors parameterize the executor’s predicates, forming a differentiable perception–reasoning pipeline trained on the binary supervision. 8.3 Toy NER For a simplified, toy version of the Named-Entity Recognition task (Tjong Kim Sang and De Meulder, 2003), we create a dataset of randomly generated embeddings representing persons and locations. The objective is to learn the concepts of ”works_in”, i.e., whether a person works in a location, and ”is_real_person”, i.e., whether a given embedding is a person or not. These concepts are learned using indirect supervision on two queries, that compose the atomic concepts. constraint1 = is_real_person(P1) AND works_in(P1,L1) AND is_real_person(P2) AND works_in(P2,L2) constraint2 = is_real_person(P2) AND works_in(P2,L2) OR is_real_person(P3) AND works_in(P3,L3) Here, $P1,P2,P3,L1,L2,L3$ are input embeddings with Ps representing persons and Ls representing locations. Thus, the final task is to predict the output of these two constraints (true or false), given 6 embeddings corresponding to 3 persons and 3 locations. 8.3.1 DomiKnowS Problem Specification. To perform the Toy NER task, DomiKnowS begins by constructing a graph representation of the problem. It first defines the person and location concepts to represent the entity types of interest. Under the person concept, three sub-concepts are declared to represent three individual persons, and under the location concept, three sub-concepts are introduced to represent distinct locations. A pair relation is then defined to connect a person and a location. This relation is used to create three separate work_in[i] concepts, each representing the output relation between person $i$ and location $i$ . Finally, the inference queries are expressed in a form-based manner, using andL to represent logical conjunctions (AND) between concepts and orL to represent logical disjunctions (OR) in the desired queries above. Neural Modeling. The model declaration follows the standard pipeline of neural components. It begins with a ReaderSensor to process the raw input data. A ModuleLearner is then invoked, using the embeddings of either person or location to generate predictions based on the given representations. A JointSensor is subsequently employed to connect the person and location concepts in order to form the work_in[i] relation specified in the problem definition. Finally, model inference is carried out based on predefined queries, yielding the final output. 8.3.2 DeepProbLog Problem Specification. DeepProbLog declares 6 concepts, is_real_person[i] for each person i and works_in[i] for each location i. These concepts are used to formulate the two constraints with the final query, check, being the conjunction of the two. Note that, DeepProbLog does not support multiple simultaneous queries and hence, the two constraints cannot be trained with individual supervision for labels of each. Neural Modeling. DeepProbLog uses the two neural networks for classification of the two concepts. The main challenge is the creation of the dataloader that reads from the raw data and converts it into the format necessary to send queries with the appropriate value substitutions for variables. This integration with ProbLog needs to be done by the user from scratch. 8.3.3 Scallop Problem Specification. Scallop utilizes 6 concepts similar to DeepProbLog. The value of the two constraints is merged using a final module check(P1* P2 * W1 * W2 + P3 * W3). Here, the results of concepts is_real_person[i] (P1, P2, P3) and works_in[i] (W1, W2, W3) are passed instead of the embeddings themselves. This context is passed through python itself, instead of a separate Datalog file. Neural Modeling. The neural modeling component is standard with flexible loss declarations. To adapt from the raw data, an embedding generator NERDataset is created which is the same as the JSONDataset utilized in the DeepProbLog solution. However, there is no need to manually adapt the data to generate queries to the datalog component, as the forward function of the neural network is the final query and only requires the outputs of the neural networks passed to it. 8.4 Math Equation Inference The Math Equation Inference task is designed to evaluate whether a neural network can learn local mathematical concepts from global supervision. The input to this task consists of two lists, each containing six real numbers sampled uniformly from the range $\left[-1,1\right]$ . The objective is to determine whether the model can learn from a global condition that encompasses the properties of the first list, the properties of the second list, and the relationship between them. We consider two properties, that is, $\sum_{i=0}^{8}x_{i}>0$ and $\sum_{i=0}^{8}|x_{i}|>0.5$ . For relations between the two lists, we examine two cases: (i) whether the first elements of the lists have the same sign, and (ii) whether their last elements have opposite signs. These concepts are learned through indirect supervision using global queries that compose the atomic concepts, expressed as follows: property1(L1) AND property2(L2) AND relation(L1, L2) where $L1,L2$ are randomly generated lists of six real numbers, property1 and property2 are drawn from the set of considered properties, and relation is drawn from the set of considered relations. 8.4.1 DomiKnowS Problem Specification. For implementing this task in DomiKnowS, the first concept defined is the problem concept, which represents the overall mathematical inference problem. Next, the lst concept is introduced to represent a list of considered numbers. Under this lst concept, all possible condition concepts— is_cond1 and is_cond2 —are defined to represent the output class of each list. Subsequently, two relation concepts, is_relation1 and is_relation2, are introduced between pairs of lst instances to capture the two relational conditions described in the problem statement. Importantly, all possible conditions and relations must be defined, even if some are not ultimately used in the final inference. To define the inference query, the logical operator andL is employed to combine the three relevant concepts. For example: andL(is_cond1(L1), is_relation1(L1, L2), is_cond2(L2)). This query corresponds to the case where the sum of $L1$ is greater than 0 (is_cond1), the first elements of $L1$ and $L2$ share the same sign (is_relation1), and the sum of the absolute values of $L2$ is greater than 0.5 (is_cond2). Neural Modeling. DomiKnowS begins with a ReaderSensor to process the two input lists of numbers. Then, CompositionCandidateSensor is employed to connect the two lists, forming the intermediate representation required for relation prediction in later stages. Four neural networks are instantiated using ModuleLearner —two dedicated to property concepts and two to relation concepts. These networks are trained to predict the respective properties and relations. The predicted concepts are subsequently integrated into the final query, which specifies the target relation for the given problem and serves as the prediction label during training and evaluation. It is important to note that DomiKnowS requires all possible inference queries to be explicitly represented in the graph. Each query is set as either active or inactive to obtain the correct prediction during inference. 8.4.2 DeepProbLog Problem Specification. In this task, DeepProbLog defines four neural predicates: two for the considered properties (is_property[i]_nn for object property i), and two for the considered relations (is_relation[i]_nn for relation i). These four neural predicates are then combined to define the final query concept, inference. One inference concept is created for each possible combination of the condition of L1 (2 possibilities), the condition of L2 (2 possibilities), and the relation between L1 and L2 (2 possibilities). In total, eight inference concepts are formulated. During evaluation, only the relevant concept corresponding to the input configuration is activated and used to produce the final prediction for the problem. Neural Modeling. DeepProbLog employs four neural networks, corresponding to the defined concepts: two for property concepts and two for relation concepts. The pipeline then proceeds with data loading, where all possible candidate lists of numbers are read separately and pre-processed to obtain the required model inputs. This also includes manually connecting the list of numbers within the same problem. Then, all defined neural networks are called to obtain all possible relations and properties output. Lastly, the query must be constructed in the exact predefined pattern to ensure that the system produces the correct output aligned with the desired inference condition. 8.4.3 Scallop Problem Specification. Similar to DomiKnowS and DeepProbLog on this task, Scallop begins with the declaration of four concepts, that is, two property concepts and two relation concepts. However, Scallop only defines the one final module, inference(P1 * P2 * R), that accumulates the probability based on the output of the properties of $L1$ and $L2$ , and the relation between $L1$ and $L2$ . The output is defined in the neural modeling part to get the connection between the final module and the defined concept. Neural Modeling. The neural modeling component in Scallop follows the standard pipeline. However, Scallop requires a manually defined connection between the model output and the declared final module. This requirement arises because the final module is specified in a general form, rather than being tied to a particular combination of inference concepts. In contrast, other frameworks explicitly define every possible query corresponding to a combination of properties and relations and refer only to those queries during inference. 9 Discussion and Future Direction Table 1 summarizes the comparative aspects of existing frameworks and outlines future directions for optimizing, as we observe many columns marked with ’✗’, implying most frameworks present challenges that hinder the application and flexibility of the frameworks. While current frameworks are functional, future developments should take a more holistic approach that considers all aspects from an end-user perspective, aiming to improve usability as general-purpose libraries and foster wider adoption of neurosymbolic methods. Symbolic Representation. The generic neurosymbolic frameworks provide a formal knowledge representation language of their choice. The selected languages often are based on pure logical formalisms with established formal semantics, for example, Datalog or Prolog. However, we argue that knowledge representation for neurosymbolic frameworks needs to be an innovative language designed for this integration purpose with adaptable semantics with learning as the pivotal concept (Kordjamshidi et al., 2019). Restricting these frameworks to classical AI formalisms and formal semantics limits the level of extension that can be made and restricts the support of various algorithms and types of integration. Neural Modeling. Most of the examined frameworks leave neural modeling and the task of connecting the symbolic and sub-symbolic components, up to the user. This connection usually requires low-level data preprocessing, which is time consuming to implement. A lack of user-friendly libraries discourages developers from using neurosymbolic methods to solve downstream tasks. There is a need for abstractions in these frameworks (Kordjamshidi et al., 2022) that improve user experience and remove the need for users to implement such data processing from scratch. Model Declaration. There is a need to be explicit about the low-level components of the neural architecture, enabling us to design interactions between neural and symbolic components and connect them as intended. The goal is to provide flexibility in designing arbitrary loss functions and connecting them to data for supervising concepts at various neural layers, which will allow any symbol to be learnable. Types of Interplay. Considering Kautz (2022) ’s classification, current frameworks are limited in supporting one or two ways of interactions. The ”Algo” column in Table 1 shows that DeepProbLog and Scallop utilize one form of implementation, while DomiKnowS has multiple settings. One of the key challenges is determining the appropriate level of abstraction in a neural model after which reasoning should occur. The classification types demonstrate how a neural model can identify the relevant symbolic representations and suggest that neurosymbolic frameworks could leverage these models to learn and route inputs to the corresponding symbolic reasoning system. However, it remains unclear what level of abstraction is most effective for solving the end task in practice. LLM. Drawbacks often associated with employing symbolic AI into neural computing, such as creation of the symbolic knowledge for integration, can be mediated with the use of LLMs and foundation models. LLMs have the potential to alleviate the classical issues in symbolic processing. Their vast knowledge can also be utilized to reduce the need for rebuilding neural components, allowing for flexible connections with different symbolic components. 10 Conclusion Neurosymbolic AI presents a promising path forward in addressing the limitations of purely symbolic or neural approaches to AI. By integrating symbolic reasoning with neural learning, NeSy frameworks offer a balance between interpretability, data and time efficiency, and generalization. In this paper, we characterize the core components of NeSy frameworks and provide an analysis of some existing ones - DeepProbLog, Scallop, and DomiKnowS, illustrating the comparative facets. We identified some facets as symbolic knowledge and data representation, neural modeling, model declaration, method of integrating the symbolic and sub-symbolic systems, and role of LLMs. We identify key challenges in each facet that can guide us toward building the next generation of neurosymbolic frameworks. Unifying ideas in the field and building flexible frameworks by incorporating strengths in every facet will ease the learning curve associated with NeSy systems and improve standardization. Future NeSy frameworks should aim to provide flexible implementation, a user-friendly interface, improve scalability, and develop seamless integrations with foundation models. The advent of next-generation LLMs/VLMs provides promising solutions to longstanding knowledge engineering challenges, fostering more effective and scalable integration of symbolic representations and advancing research in neurosymbolic AI. \acks This project is partially supported by the Office of Naval Research (ONR) grant N00014-23-1-2417. Any opinions, findings, conclusions, or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the Office of Naval Research. We thank Uzair Mohammad for his editing and suggestions for Figure 1. References - Abiteboul et al. (1995) Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases: The Logical Level. Addison-Wesley Longman Publishing Co., Inc., USA, 1st edition, 1995. ISBN 0201537710. - Acharya et al. (2024) Kamal Acharya, Alvaro Velasquez, and Houbing Herbert Song. A survey on symbolic knowledge distillation of large language models. IEEE Transactions on Artificial Intelligence, 5(12):5928–5948, 2024. 10.1109/TAI.2024.3428519. - Aditya et al. (2023) Dyuman Aditya, Kaustuv Mukherji, Srikar Balasubramanian, Abhiraj Chaudhary, and Paulo Shakarian. Pyreason: Software for open world temporal logic, 2023. URL \url https://arxiv.org/abs/2302.13482. - Ahmad et al. (2019) Jamil Ahmad, Haleem Farman, and Zahoor Jan. Deep Learning Methods and Applications, pages 31–42. Springer Singapore, Singapore, 2019. ISBN 978-981-13-3459-7. 10.1007/978-981-13-3459-7_3. URL \url https://doi.org/10.1007/978-981-13-3459-7_3. - Ahmed et al. (2022) Kareem Ahmed, Tao Li, Thy Ton, Quan Guo, Kai-Wei Chang, Parisa Kordjamshidi, Vivek Srikumar, Guy Van den Broeck, and Sameer Singh. Pylon: A pytorch framework for learning with constraints. In Douwe Kiela, Marco Ciccone, and Barbara Caputo, editors, Proceedings of the NeurIPS 2021 Competitions and Demonstrations Track, volume 176 of Proceedings of Machine Learning Research, pages 319–324. PMLR, 06–14 Dec 2022. URL \url https://proceedings.mlr.press/v176/ahmed22a.html. - Augusto (2021) Luis M. Augusto. From symbols to knowledge systems: A. newell and h. a. Simon’s contribution to symbolic AI. Journal of Knowledge Structures and Systems, 2(1):29–62, 2021. - Badreddine et al. (2022) Samy Badreddine, Artur d’Avila Garcez, Luciano Serafini, and Michael Spranger. Logic tensor networks. Artificial Intelligence, 303:103649, 2022. ISSN 0004-3702. https://doi.org/10.1016/j.artint.2021.103649. URL \url https://www.sciencedirect.com/science/article/pii/S0004370221002009. - Bender et al. (2021) Emily M. Bender, Timnit Gebru, Angelina McMillan-Major, and Shmargaret Shmitchell. On the dangers of stochastic parrots: Can language models be too big? In Proceedings of the 2021 ACM Conference on Fairness, Accountability, and Transparency, FAccT ’21, page 610–623, New York, NY, USA, 2021. Association for Computing Machinery. ISBN 9781450383097. 10.1145/3442188.3445922. URL \url https://doi.org/10.1145/3442188.3445922. - Bhuyan et al. (2024) Bikram Pratim Bhuyan, Amar Ramdane-Cherif, Ravi Tomar, and T. P. Singh. Neuro-symbolic artificial intelligence: a survey. Neural Computing and Applications, 36(21):12809–12844, July 2024. ISSN 1433-3058. 10.1007/s00521-024-09960-z. URL \url https://doi.org/10.1007/s00521-024-09960-z. - Booch et al. (2021) Grady Booch, Francesco Fabiano, Lior Horesh, Kiran Kate, Jonathan Lenchner, Nick Linck, Andreas Loreggia, Keerthiram Murgesan, Nicholas Mattei, Francesca Rossi, and Biplav Srivastava. Thinking fast and slow in ai. Proceedings of the AAAI Conference on Artificial Intelligence, 35(17):15042–15046, May 2021. 10.1609/aaai.v35i17.17765. URL \url https://ojs.aaai.org/index.php/AAAI/article/view/17765. - Bouneffouf and Aggarwal (2022) Djallel Bouneffouf and Charu C. Aggarwal. Survey on applications of neurosymbolic artificial intelligence, 2022. URL \url https://arxiv.org/abs/2209.12618. - Bratko and Muggleton (1995) Ivan Bratko and Stephen Muggleton. Applications of inductive logic programming. Commun. ACM, 38(11):65–70, November 1995. ISSN 0001-0782. 10.1145/219717.219771. URL \url https://doi.org/10.1145/219717.219771. - Burattini et al. (2002) E. Burattini, A. de Francesco, and M. De Gregorio. Nsl: a neuro-symbolic language for monotonic and non-monotonic logical inferences. In VII Brazilian Symposium on Neural Networks, 2002. SBRN 2002. Proceedings., pages 256–261, 2002. 10.1109/SBRN.2002.1181487. - Clocksin and Mellish (2003) William F Clocksin and Christopher S Mellish. Programming in PROLOG. Springer Science & Business Media, 2003. - Cohen et al. (2017) William W Cohen, Fan Yang, and Kathryn Rivard Mazaitis. Tensorlog: Deep learning meets probabilistic dbs. arXiv preprint arXiv:1707.05390, 2017. - Cropper and Dumančić (2022) Andrew Cropper and Sebastijan Dumančić. Inductive logic programming at 30: A new introduction. J. Artif. Int. Res., 74, September 2022. ISSN 1076-9757. 10.1613/jair.1.13507. URL \url https://doi.org/10.1613/jair.1.13507. - Darwiche (2011) Adnan Darwiche. Sdd: A new canonical representation of propositional knowledge bases. In IJCAI Proceedings-International Joint Conference on Artificial Intelligence, volume 22, page 819, 2011. - De Raedt et al. (2007) Luc De Raedt, Angelika Kimmig, and Hannu Toivonen. Problog: a probabilistic prolog and its application in link discovery. In Proceedings of the 20th International Joint Conference on Artifical Intelligence, IJCAI’07, page 2468–2473, San Francisco, CA, USA, 2007. Morgan Kaufmann Publishers Inc. - Derkinderen et al. (2025) Vincent Derkinderen, Robin Manhaeve, Rik Adriaensen, Lucas Van Praet, Lennert De Smet, Giuseppe Marra, and Luc De Raedt. The deeplog neurosymbolic machine, 2025. URL \url https://arxiv.org/abs/2508.13697. - Eisner (2002) Jason Eisner. Parameter estimation for probabilistic finite-state transducers. In Proceedings of the 40th Annual Meeting of the Association for Computational Linguistics, pages 1–8, 2002. - Fabiano et al. (2023) Francesco Fabiano, Vishal Pallagani, Marianna Bergamaschi Ganapini, Lior Horesh, Andrea Loreggia, Keerthiram Murugesan, Francesca Rossi, and Biplav Srivastava. Plan-SOFAI: A neuro-symbolic planning architecture. In Neuro-Symbolic Learning and Reasoning in the era of Large Language Models, 2023. URL \url https://openreview.net/forum?id=ORAhay0H4x. - Faghihi et al. (2023) Hossein Rajaby Faghihi, Aliakbar Nafar, Chen Zheng, Roshanak Mirzaee, Yue Zhang, Andrzej Uszok, Alexander Wan, Tanawan Premsri, Dan Roth, and Parisa Kordjamshidi. Gluecons: A generic benchmark for learning under constraints, 2023. URL \url https://arxiv.org/abs/2302.10914. - Faghihi et al. (2024) Hossein Rajaby Faghihi, Aliakbar Nafar, Andrzej Uszok, Hamid Karimian, and Parisa Kordjamshidi. Prompt2demodel: Declarative neuro-symbolic modeling with natural language, 2024. URL \url https://arxiv.org/abs/2407.20513. - Fang and Yu (2024) Chuyu Fang and Song-Chun Yu. Large language models are neurosymbolic reasoners. arXiv preprint arXiv:2401.09334, 2024. URL \url https://arxiv.org/html/2401.09334v1. - Frazier and Pitt (1993) Michael Frazier and Leonard Pitt. Learning from entailment: An application to propositional horn sentences. In Proceedings of the Tenth International Conference on International Conference on Machine Learning, pages 120–127, 1993. - Giunchiglia et al. (2024) Eleonora Giunchiglia, Alex Tatomir, Mihaela Cătălina Stoian, and Thomas Lukasiewicz. Ccn+: A neuro-symbolic framework for deep learning with requirements. International Journal of Approximate Reasoning, 171:109124, 2024. ISSN 0888-613X. https://doi.org/10.1016/j.ijar.2024.109124. URL \url https://www.sciencedirect.com/science/article/pii/S0888613X24000112. Synergies between Machine Learning and Reasoning. - Green et al. (2007) Todd J. Green, Grigoris Karvounarakis, and Val Tannen. Provenance semirings. In Proceedings of the Twenty-Sixth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS ’07, page 31–40, New York, NY, USA, 2007. Association for Computing Machinery. ISBN 9781595936851. 10.1145/1265530.1265535. URL \url https://doi.org/10.1145/1265530.1265535. - Guo et al. (2020) Quan Guo, Hossein Rajaby Faghihi, Yue Zhang, Andrzej Uszok, and Parisa Kordjamshidi. Inference-masked loss for deep structured output learning. In Christian Bessiere, editor, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI-20, pages 2754–2761. International Joint Conferences on Artificial Intelligence Organization, 7 2020. 10.24963/ijcai.2020/382. URL \url https://doi.org/10.24963/ijcai.2020/382. Main track. - Gurobi Optimization, LLC (2024) Gurobi Optimization, LLC. Gurobi Optimizer Reference Manual, 2024. URL \url https://www.gurobi.com. - Hayes-Roth (1985) Frederick Hayes-Roth. Rule-based systems. Communications of the ACM, 28(9):921–932, 1985. - Hitzler and Sarker (2022) Pascal Hitzler and Md Kamruzzaman Sarker. Neuro-symbolic artificial intelligence: The state of the art. 2022. - Hossain and Chen (2025) Delower Hossain and Jake Y Chen. A study on neuro-symbolic artificial intelligence: Healthcare perspectives, 2025. URL \url https://arxiv.org/abs/2503.18213. - Hsu et al. (2023) Joy Hsu, Jiayuan Mao, Joshua B. Tenenbaum, and Jiajun Wu. What’s left? concept grounding with logic-enhanced foundation models, 2023. URL \url https://arxiv.org/abs/2310.16035. - Huang et al. (2021) Jiani Huang, Ziyang Li, Binghong Chen, Karan Samel, Mayur Naik, Le Song, and Xujie Si. Scallop: From probabilistic deductive databases to scalable differentiable reasoning. In M. Ranzato, A. Beygelzimer, Y. Dauphin, P.S. Liang, and J. Wortman Vaughan, editors, Advances in Neural Information Processing Systems, volume 34, pages 25134–25145. Curran Associates, Inc., 2021. URL \url https://proceedings.neurips.cc/paper_files/paper/2021/file/d367eef13f90793bd8121e2f675f0dc2-Paper.pdf. - Ishay et al. (2023) Adam Ishay, Zhun Yang, and Joohyung Lee. Leveraging large language models to generate answer set programs. In Pierre Marquis, Tran Cao Son, and Gabriele Kern-Isberner, editors, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Proceedings of the International Conference on Knowledge Representation and Reasoning, pages 374–383. Association for the Advancement of Artificial Intelligence, 2023. 10.24963/kr.2023/37. - Jayasingha et al. (2025) Prashani Jayasingha, Bogdan Iancu, and Johan Lilius. Neurosymbolic approaches in ai design – an overview. In 2025 IEEE Symposium on Trustworthy, Explainable and Responsible Computational Intelligence (CITREx Companion), pages 1–5, 2025. 10.1109/CITRExCompanion65208.2025.10981497. - Johnson et al. (2017) Justin Johnson, Bharath Hariharan, Laurens van der Maaten, Li Fei-Fei, C. Lawrence Zitnick, and Ross Girshick. Clevr: A diagnostic dataset for compositional language and elementary visual reasoning. In Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR), July 2017. - Kahneman (2011) Daniel Kahneman. Thinking, fast and slow. macmillan, 2011. - Kamali et al. (2025) Danial Kamali, Elham J. Barezi, and Parisa Kordjamshidi. Nesycoco: A neuro-symbolic concept composer for compositional generalization. Proceedings of the AAAI Conference on Artificial Intelligence, 39(4):4184–4193, Apr. 2025. 10.1609/aaai.v39i4.32439. URL \url https://ojs.aaai.org/index.php/AAAI/article/view/32439. - Kautz (2022) Henry Kautz. The third ai summer: Aaai robert s. engelmore memorial lecture. AI Magazine, 43(1):105–125, Mar. 2022. 10.1002/aaai.12036. URL \url https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/19122. - Kimmig et al. (2011) Angelika Kimmig, Guy Van den Broeck, and Luc De Raedt. An algebraic prolog for reasoning about possible worlds. Proceedings of the AAAI Conference on Artificial Intelligence, 25(1):209–214, Aug. 2011. 10.1609/aaai.v25i1.7852. URL \url https://ojs.aaai.org/index.php/AAAI/article/view/7852. - Kirillov et al. (2023) Alexander Kirillov, Eric Mintun, Nikhila Ravi, Hanzi Mao, Chloe Rolland, Laura Gustafson, Tete Xiao, Spencer Whitehead, Alexander C. Berg, Wan-Yen Lo, Piotr Dollár, and Ross Girshick. Segment anything, 2023. URL \url https://arxiv.org/abs/2304.02643. - Kolaitis and Vardi (1990) Phokion G. Kolaitis and Moshe Y. Vardi. On the expressive power of datalog: tools and a case study. In Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS ’90, page 61–71, New York, NY, USA, 1990. Association for Computing Machinery. ISBN 0897913523. 10.1145/298514.298542. URL \url https://doi.org/10.1145/298514.298542. - Kordjamshidi et al. (2015) Parisa Kordjamshidi, Dan Roth, and Hao Wu. Saul: Towards declarative learning based programming. volume 2015, 12 2015. - Kordjamshidi et al. (2016) Parisa Kordjamshidi, Daniel Khashabi, Christos Christodoulopoulos, Bhargav Mangipudi, Sameer Singh, and Dan Roth. Better call Saul: Flexible programming for learning and inference in NLP. In Yuji Matsumoto and Rashmi Prasad, editors, Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: Technical Papers, pages 3030–3040, Osaka, Japan, December 2016. The COLING 2016 Organizing Committee. URL \url https://aclanthology.org/C16-1285/. - Kordjamshidi et al. (2019) Parisa Kordjamshidi, Dan Roth, and Kristian Kersting. Declarative learning-based programming as an interface to ai systems. Frontiers in Artificial Intelligence, 5, 2019. URL \url https://api.semanticscholar.org/CorpusID:195069123. - Kordjamshidi et al. (2022) Parisa Kordjamshidi, Dan Roth, and Kristian Kersting. Declarative learning-based programming as an interface to ai systems. Frontiers in Artificial Intelligence, Volume 5 - 2022, 2022. ISSN 2624-8212. 10.3389/frai.2022.755361. URL \url https://www.frontiersin.org/journals/artificial-intelligence/articles/10.3389/frai.2022.755361. - Lamb et al. (2021) Luis C. Lamb, Artur Garcez, Marco Gori, Marcelo Prates, Pedro Avelar, and Moshe Vardi. Graph neural networks meet neural-symbolic computing: A survey and perspective, 2021. URL \url https://arxiv.org/abs/2003.00330. - Lample and Charton (2020) Guillaume Lample and François Charton. Deep learning for symbolic mathematics. In International Conference on Learning Representations, 2020. URL \url https://openreview.net/forum?id=S1eZYeHFDS. - Lecun et al. (1998) Y. Lecun, L. Bottou, Y. Bengio, and P. Haffner. Gradient-based learning applied to document recognition. Proceedings of the IEEE, 86(11):2278–2324, 1998. 10.1109/5.726791. - LeCun et al. (2015) Yann LeCun, Yoshua Bengio, and Geoffrey Hinton. Deep learning. Nature, 521(7553):436–444, 2015. 10.1038/nature14539. URL \url https://doi.org/10.1038/nature14539. - Li et al. (2023a) Bo Li, Peng Qi, Bo Liu, Shuai Di, Jingen Liu, Jiquan Pei, Jinfeng Yi, and Bowen Zhou. Trustworthy ai: From principles to practices. ACM Comput. Surv., 55(9), January 2023a. ISSN 0360-0300. 10.1145/3555803. URL \url https://doi.org/10.1145/3555803. - Li et al. (2023b) Ziyang Li, Jiani Huang, and Mayur Naik. Scallop: A language for neurosymbolic programming. Proc. ACM Program. Lang., 7(PLDI), June 2023b. 10.1145/3591280. URL \url https://doi.org/10.1145/3591280. - Li et al. (2024) Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, and Mayur Naik. Relational programming with foundational models. Proceedings of the AAAI Conference on Artificial Intelligence, 38(9):10635–10644, March 2024. ISSN 2159-5399. 10.1609/aaai.v38i9.28934. URL \url http://dx.doi.org/10.1609/aaai.v38i9.28934. - Lima et al. (2005) Priscila Lima, Mariela Morveli-Espinoza, Glaucia K E Pereira, and Felipe França. Satyrus: A sat-based neuro-symbolic architecture for constraint processing. pages 137–142, 01 2005. 10.1109/ICHIS.2005.97. - Liu et al. (2019) Runtao Liu, Chenxi Liu, Yutong Bai, and Alan L. Yuille. Clevr-ref+: Diagnosing visual reasoning with referring expressions. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), June 2019. - Lu et al. (2024) Zhen Lu, Imran Afridi, Hong Jin Kang, Ivan Ruchkin, and Xi Zheng. Surveying neuro-symbolic approaches for reliable artificial intelligence of things. Journal of Reliable Intelligent Environments, 10(3):257–279, 2024. 10.1007/s40860-024-00231-1. URL \url https://doi.org/10.1007/s40860-024-00231-1. - Manhaeve et al. (2021) Robin Manhaeve, Sebastijan Dumančić, Angelika Kimmig, Thomas Demeester, and Luc De Raedt. Neural probabilistic logic programming in deepproblog. Artificial Intelligence, 298:103504, 2021. ISSN 0004-3702. https://doi.org/10.1016/j.artint.2021.103504. URL \url https://www.sciencedirect.com/science/article/pii/S0004370221000552. - Mao et al. (2019) Jiayuan Mao, Chuang Gan, Pushmeet Kohli, Joshua B. Tenenbaum, and Jiajun Wu. The neuro-symbolic concept learner: Interpreting scenes, words, and sentences from natural supervision, 2019. URL \url https://arxiv.org/abs/1904.12584. - Minderer et al. (2022) Matthias Minderer, Alexey Gritsenko, Austin Stone, Maxim Neumann, Dirk Weissenborn, Alexey Dosovitskiy, Aravindh Mahendran, Anurag Arnab, Mostafa Dehghani, Zhuoran Shen, Xiao Wang, Xiaohua Zhai, Thomas Kipf, and Neil Houlsby. Simple open-vocabulary object detection with vision transformers, 2022. URL \url https://arxiv.org/abs/2205.06230. - Mirzaee and Kordjamshidi (2023) Roshanak Mirzaee and Parisa Kordjamshidi. Disentangling extraction and reasoning in multi-hop spatial reasoning. In Houda Bouamor, Juan Pino, and Kalika Bali, editors, Findings of the Association for Computational Linguistics: EMNLP 2023, pages 3379–3397, Singapore, December 2023. Association for Computational Linguistics. 10.18653/v1/2023.findings-emnlp.221. URL \url https://aclanthology.org/2023.findings-emnlp.221/. - Nandwani et al. (2019) Yatin Nandwani, Abhishek Pathak, Mausam, and Parag Singla. A primal dual formulation for deep learning with constraints. In H. Wallach, H. Larochelle, A. Beygelzimer, F. d'Alché-Buc, E. Fox, and R. Garnett, editors, Advances in Neural Information Processing Systems, volume 32. Curran Associates, Inc., 2019. URL \url https://proceedings.neurips.cc/paper_files/paper/2019/file/cf708fc1decf0337aded484f8f4519ae-Paper.pdf. - Newell (1980) Allen Newell. Physical symbol systems. Cognitive Science, 4(2):135–183, 1980. ISSN 0364-0213. https://doi.org/10.1016/S0364-0213(80)80015-2. URL \url https://www.sciencedirect.com/science/article/pii/S0364021380800152. - Ng and Subrahmanian (1992) Raymond Ng and V.S. Subrahmanian. Probabilistic logic programming. Information and Computation, 101(2):150–201, 1992. ISSN 0890-5401. https://doi.org/10.1016/0890-5401(92)90061-J. URL \url https://www.sciencedirect.com/science/article/pii/089054019290061J. - Nienhuys-Cheng and de Wolf (1997) Shan-Hwei Nienhuys-Cheng and Roland de Wolf. What is inductive logic programming? Springer, 1997. - OpenAI et al. (2024) OpenAI, Josh Achiam, and Steven Adler et al. Gpt-4 technical report, 2024. URL \url https://arxiv.org/abs/2303.08774. - Pan et al. (2023a) Liangming Pan, Alon Albalak, Xinyi Wang, and William Wang. Logic-LM: Empowering large language models with symbolic solvers for faithful logical reasoning. In Houda Bouamor, Juan Pino, and Kalika Bali, editors, Findings of the Association for Computational Linguistics: EMNLP 2023, pages 3806–3824, Singapore, December 2023a. Association for Computational Linguistics. 10.18653/v1/2023.findings-emnlp.248. URL \url https://aclanthology.org/2023.findings-emnlp.248/. - Pan et al. (2023b) Liangming Pan, Alon Albalak, Xinyi Wang, and William Yang Wang. Logic-lm: Empowering large language models with symbolic solvers for faithful logical reasoning, 2023b. URL \url https://arxiv.org/abs/2305.12295. - Paszke et al. (2019) Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory Chanan, Trevor Killeen, Zeming Lin, Natalia Gimelshein, Luca Antiga, Alban Desmaison, Andreas Köpf, Edward Yang, Zach DeVito, Martin Raison, Alykhan Tejani, Sasank Chilamkurthy, Benoit Steiner, Lu Fang, Junjie Bai, and Soumith Chintala. Pytorch: An imperative style, high-performance deep learning library, 2019. URL \url https://arxiv.org/abs/1912.01703. - Petroni et al. (2019) Fabio Petroni, Tim Rocktäschel, Patrick Lewis, Anton Bakhtin, Yuxiang Wu, Alexander H. Miller, and Sebastian Riedel. Language models as knowledge bases?, 2019. URL \url https://arxiv.org/abs/1909.01066. - Radford et al. (2021) Alec Radford, Jong Wook Kim, Chris Hallacy, Aditya Ramesh, Gabriel Goh, Sandhini Agarwal, Girish Sastry, Amanda Askell, Pamela Mishkin, Jack Clark, Gretchen Krueger, and Ilya Sutskever. Learning transferable visual models from natural language supervision, 2021. URL \url https://arxiv.org/abs/2103.00020. - Rajaby Faghihi et al. (2021) Hossein Rajaby Faghihi, Quan Guo, Andrzej Uszok, Aliakbar Nafar, and Parisa Kordjamshidi. DomiKnowS: A library for integration of symbolic domain knowledge in deep learning. In Heike Adel and Shuming Shi, editors, Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing: System Demonstrations, pages 231–241, Online and Punta Cana, Dominican Republic, November 2021. Association for Computational Linguistics. 10.18653/v1/2021.emnlp-demo.27. URL \url https://aclanthology.org/2021.emnlp-demo.27/. - Sathasivam (2011) Saratha Sathasivam. Learning rules comparison in neuro-symbolicintegration. International Journal of Applied Physics and Mathematics, 1(2):129, 2011. - Serafini and d’Avila Garcez (2016) Luciano Serafini and Artur S d’Avila Garcez. Learning and reasoning with logic tensor networks. In Conference of the italian association for artificial intelligence, pages 334–348. Springer, 2016. - Shpilka et al. (2010) Amir Shpilka, Amir Yehudayoff, et al. Arithmetic circuits: A survey of recent results and open questions. Foundations and Trends® in Theoretical Computer Science, 5(3–4):207–388, 2010. - Silver et al. (2016) David Silver, Aja Huang, Chris J. Maddison, Arthur Guez, Laurent Sifre, George van den Driessche, Julian Schrittwieser, Ioannis Antonoglou, Veda Panneershelvam, Marc Lanctot, Sander Dieleman, Dominik Grewe, John Nham, Nal Kalchbrenner, Ilya Sutskever, Timothy Lillicrap, Madeleine Leach, Koray Kavukcuoglu, Thore Graepel, and Demis Hassabis. Mastering the game of go with deep neural networks and tree search. Nature, 529(7587):484–489, 2016. 10.1038/nature16961. URL \url https://doi.org/10.1038/nature16961. - Smolensky et al. (2016) Paul Smolensky, Moontae Lee, Xiaodong He, Wen-tau Yih, Jianfeng Gao, and li Deng. Basic reasoning with tensor product representations. 01 2016. 10.48550/arXiv.1601.02745. - Sun et al. (2021) Jiankai Sun, Hao Sun, Tian Han, and Bolei Zhou. Neuro-symbolic program search for autonomous driving decision module design. In Jens Kober, Fabio Ramos, and Claire Tomlin, editors, Proceedings of the 2020 Conference on Robot Learning, volume 155 of Proceedings of Machine Learning Research, pages 21–30. PMLR, 16–18 Nov 2021. URL \url https://proceedings.mlr.press/v155/sun21a.html. - Tjong Kim Sang and De Meulder (2003) Erik F. Tjong Kim Sang and Fien De Meulder. Introduction to the CoNLL-2003 shared task: Language-independent named entity recognition. In Proceedings of the Seventh Conference on Natural Language Learning at HLT-NAACL 2003, pages 142–147, 2003. URL \url https://aclanthology.org/W03-0419/. - Touvron et al. (2023) Hugo Touvron, Louis Martin, Kevin Stone, Peter Albert, Amjad Almahairi, Yasmine Babaei, Nikolay Bashlykov, Soumya Batra, Prajjwal Bhargava, Shruti Bhosale, Dan Bikel, Lukas Blecher, Cristian Canton Ferrer, Moya Chen, Guillem Cucurull, David Esiobu, Jude Fernandes, Jeremy Fu, Wenyin Fu, Brian Fuller, Cynthia Gao, Vedanuj Goswami, Naman Goyal, Anthony Hartshorn, Saghar Hosseini, Rui Hou, Hakan Inan, Marcin Kardas, Viktor Kerkez, Madian Khabsa, Isabel Kloumann, Artem Korenev, Punit Singh Koura, Marie-Anne Lachaux, Thibaut Lavril, Jenya Lee, Diana Liskovich, Yinghai Lu, Yuning Mao, Xavier Martinet, Todor Mihaylov, Pushkar Mishra, Igor Molybog, Yixin Nie, Andrew Poulton, Jeremy Reizenstein, Rashi Rungta, Kalyan Saladi, Alan Schelten, Ruan Silva, Eric Michael Smith, Ranjan Subramanian, Xiaoqing Ellen Tan, Binh Tang, Ross Taylor, Adina Williams, Jian Xiang Kuan, Puxin Xu, Zheng Yan, Iliyan Zarov, Yuchen Zhang, Angela Fan, Melanie Kambadur, Sharan Narang, Aurelien Rodriguez, Robert Stojnic, Sergey Edunov, and Thomas Scialom. Llama 2: Open foundation and fine-tuned chat models, 2023. URL \url https://arxiv.org/abs/2307.09288. - Van Hentenryck et al. (1992) Pascal Van Hentenryck, Helmut Simonis, and Mehmet Dincbas. Constraint satisfaction using constraint logic programming. Artificial Intelligence, 58(1):113–159, 1992. ISSN 0004-3702. https://doi.org/10.1016/0004-3702(92)90006-J. URL \url https://www.sciencedirect.com/science/article/pii/000437029290006J. - Weizenbaum (1966) Joseph Weizenbaum. Eliza—a computer program for the study of natural language communication between man and machine. Commun. ACM, 9(1):36–45, January 1966. ISSN 0001-0782. 10.1145/365153.365168. URL \url https://doi.org/10.1145/365153.365168. - Wong et al. (2023) Lionel Wong, Gabriel Grand, Alexander K. Lew, Noah D. Goodman, Vikash K. Mansinghka, Jacob Andreas, and Joshua B. Tenenbaum. From word models to world models: Translating from natural language to the probabilistic language of thought, 2023. URL \url https://arxiv.org/abs/2306.12672. - Xu et al. (2024a) Fangzhi Xu, Zhiyong Wu, Qiushi Sun, Siyu Ren, Fei Yuan, Shuai Yuan, Qika Lin, Yu Qiao, and Jun Liu. Symbol-LLM: Towards foundational symbol-centric interface for large language models. In Lun-Wei Ku, Andre Martins, and Vivek Srikumar, editors, Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pages 13091–13116, Bangkok, Thailand, August 2024a. Association for Computational Linguistics. 10.18653/v1/2024.acl-long.707. URL \url https://aclanthology.org/2024.acl-long.707/. - Xu et al. (2018) Jingyi Xu, Zilu Zhang, Tal Friedman, Yitao Liang, and Guy Van den Broeck. A semantic loss function for deep learning with symbolic knowledge. In Jennifer Dy and Andreas Krause, editors, Proceedings of the 35th International Conference on Machine Learning, volume 80 of Proceedings of Machine Learning Research, pages 5502–5511. PMLR, 10–15 Jul 2018. URL \url https://proceedings.mlr.press/v80/xu18h.html. - Xu et al. (2024b) Xinyu Xu, Pan Wang, Shusen Dong, Ningyu Wu, Yue Zhang, and Baobao Chang. Faithful logical reasoning via symbolic chain-of-thought. arXiv preprint arXiv:2405.18357, 2024b. URL \url https://arxiv.org/abs/2405.18357. - Yang et al. (2024) Xiaocheng Yang, Bingsen Chen, and Yik-Cheung Tam. Arithmetic reasoning with LLM: Prolog generation & permutation. In Kevin Duh, Helena Gomez, and Steven Bethard, editors, Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 2: Short Papers), pages 699–710, Mexico City, Mexico, June 2024. Association for Computational Linguistics. 10.18653/v1/2024.naacl-short.61. URL \url https://aclanthology.org/2024.naacl-short.61/. - Yao et al. (2025) Liang Yao, Jiazhen Peng, Chengsheng Mao, and Yuan Luo. Exploring large language models for knowledge graph completion, 2025. URL \url https://arxiv.org/abs/2308.13916. - Yi et al. (2018) Kexin Yi, Jiajun Wu, Chuang Gan, Antonio Torralba, Pushmeet Kohli, and Joshua B. Tenenbaum. Neural-symbolic vqa: Disentangling reasoning from vision and language understanding. In Advances in Neural Information Processing Systems, pages 1039–1050, 2018. - Zhang et al. (2023) Hanlin Zhang, Jiani Huang, Ziyang Li, Mayur Naik, and Eric Xing. Improved logical reasoning of language models via differentiable symbolic programming, 2023. URL \url https://arxiv.org/abs/2305.03742. - Zheng et al. (2024) Danna Zheng, Mirella Lapata, and Jeff Z. Pan. How reliable are llms as knowledge bases? re-thinking facutality and consistency, 2024. URL \url https://arxiv.org/abs/2407.13578.