Symbol-LLM: Towards foundational symbol-centric interface for large language models
Large Language Models (LLMs) have greatly propelled the progress in natural language
(NL)-centric tasks based on NL interface. However, the NL form is not enough for world …
(NL)-centric tasks based on NL interface. However, the NL form is not enough for world …
Synergistic integration of large language models and cognitive architectures for robust ai: An exploratory analysis
This paper explores the integration of two AI subdisciplines employed in the development of
artificial agents that exhibit intelligent behavior: Large Language Models (LLMs) and …
artificial agents that exhibit intelligent behavior: Large Language Models (LLMs) and …
Ontology engineering with large language models
P Mateiu, A Groza - … on Symbolic and Numeric Algorithms for …, 2023 - ieeexplore.ieee.org
We tackle the task of enriching ontologies by automatically translating natural language (NL)
into Description Logic (DL). Since Large Language Models (LLMs) are the best tools for …
into Description Logic (DL). Since Large Language Models (LLMs) are the best tools for …
Diet-ODIN: A Novel Framework for Opioid Misuse Detection with Interpretable Dietary Patterns
The opioid crisis has been one of the most critical society concerns in the United States.
Although the medication assisted treatment (MAT) is recognized as the most effective …
Although the medication assisted treatment (MAT) is recognized as the most effective …
Speak It Out: Solving Symbol-Related Problems with Symbol-to-Language Conversion for Language Models
Symbols (or more broadly, non-natural language textual representations) such as numerical
sequences, molecular formulas, and table delimiters widely exist, playing important roles in …
sequences, molecular formulas, and table delimiters widely exist, playing important roles in …
Know Your Needs Better: Towards Structured Understanding of Marketer Demands with Analogical Reasoning Augmented LLMs
In this paper, we explore a new way for user targeting, where non-expert marketers could
select their target users solely given demands in natural language form. The key to this issue …
select their target users solely given demands in natural language form. The key to this issue …
Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study
Large language models (LLMs) have shown significant achievements in solving a wide
range of tasks. Recently, LLMs' capability to store, retrieve and infer with symbolic …
range of tasks. Recently, LLMs' capability to store, retrieve and infer with symbolic …
NL2FOL: Translating Natural Language to First-Order Logic for Logical Fallacy Detection
Logical fallacies are common errors in reasoning that undermine the logic of an argument.
Automatically detecting logical fallacies has important applications in tracking …
Automatically detecting logical fallacies has important applications in tracking …
Formal Methods in Requirements Engineering: Survey and Future Directions
Requirements engineering plays a pivotal role in the development of safety-critical systems.
However, the process is usually a manual one and can lead to errors and inconsistencies in …
However, the process is usually a manual one and can lead to errors and inconsistencies in …
Can LLMs Reason in the Wild with Programs?
Large Language Models (LLMs) have shown superior capability to solve reasoning
problems with programs. While being a promising direction, most of such frameworks are …
problems with programs. While being a promising direction, most of such frameworks are …