Symbol-LLM: Towards foundational symbol-centric interface for large language models

F Xu, Z Wu, Q Sun, S Ren, F Yuan, S Yuan… - arXiv preprint arXiv …, 2023 - arxiv.org
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 …

Synergistic integration of large language models and cognitive architectures for robust ai: An exploratory analysis

OJ Romero, J Zimmerman, A Steinfeld… - Proceedings of the AAAI …, 2023 - ojs.aaai.org
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 …

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 …

Diet-ODIN: A Novel Framework for Opioid Misuse Detection with Interpretable Dietary Patterns

Z Zhang, Z Wang, S Hou, E Hall, L Bachman… - Proceedings of the 30th …, 2024 - dl.acm.org
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 …

Speak It Out: Solving Symbol-Related Problems with Symbol-to-Language Conversion for Language Models

Y Wang, S Cheng, Z Sun, P Li, Y Liu - arXiv preprint arXiv:2401.11725, 2024 - arxiv.org
Symbols (or more broadly, non-natural language textual representations) such as numerical
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

J Wang, D Yang, B Hu, Y Shen, W Zhang… - Proceedings of the 30th …, 2024 - dl.acm.org
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 …

Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study

K Wang, G Qi, J Li, S Zhai - arXiv preprint arXiv:2406.17532, 2024 - arxiv.org
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 …

NL2FOL: Translating Natural Language to First-Order Logic for Logical Fallacy Detection

A Lalwani, L Chopra, C Hahn, C Trippel, Z Jin… - arXiv preprint arXiv …, 2024 - arxiv.org
Logical fallacies are common errors in reasoning that undermine the logic of an argument.
Automatically detecting logical fallacies has important applications in tracking …

Formal Methods in Requirements Engineering: Survey and Future Directions

R Lorch, B Meng, K Siu, A Moitra, M Durling… - Proceedings of the …, 2024 - dl.acm.org
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 …

Can LLMs Reason in the Wild with Programs?

Y Yang, S Xiong, A Payani, E Shareghi… - arXiv preprint arXiv …, 2024 - arxiv.org
Large Language Models (LLMs) have shown superior capability to solve reasoning
problems with programs. While being a promising direction, most of such frameworks are …