English
Related papers

Related papers: Coding-Logic Correspondence: Turning Information a…

200 papers

Large Language Models (LLMs) increasingly rely on knowledge graphs for factual reasoning, yet how retrieval design shapes their performance remains unclear. We examine how question decomposition changes the retrieved subgraph's content and…

Computation and Language · Computer Science 2025-11-27 Valentin Six , Evan Dufraisse , Gaël de Chalendar

Multi-hop question answering (MHQA) requires integrating knowledge scattered across multiple passages to derive the correct answer. Traditional retrieval-augmented generation (RAG) methods primarily focus on coarse-grained textual semantic…

Computation and Language · Computer Science 2025-08-18 Changjian Wang , Weihong Deng , Weili Guan , Quan Lu , Ning Jiang

An approach for encoding abstract dialectical frameworks and their semantics into classical higher-order logic is presented. Important properties and semantic relationships are formally encoded and proven using the proof assistant…

Logic in Computer Science · Computer Science 2026-04-08 Antoine Martina , Alexander Steen

Large language models (LLMs) continue to face challenges in reliably solving reasoning tasks, particularly those that require precise rule following, as often found in mathematical reasoning. This paper introduces a novel neurosymbolic…

Machine Learning · Computer Science 2025-11-19 Varun Dhanraj , Chris Eliasmith

Knowledge-based visual question answering (QA) aims to answer a question which requires visually-grounded external knowledge beyond image content itself. Answering complex questions that require multi-hop reasoning under weak supervision is…

Computer Vision and Pattern Recognition · Computer Science 2022-04-25 Yu-Jung Heo , Eun-Sol Kim , Woo Suk Choi , Byoung-Tak Zhang

We investigate the task of retrieving information from compositional distributed representations formed by Hyperdimensional Computing/Vector Symbolic Architectures and present novel techniques which achieve new information rate bounds.…

Neural and Evolutionary Computing · Computer Science 2023-05-29 Denis Kleyko , Connor Bybee , Ping-Chen Huang , Christopher J. Kymn , Bruno A. Olshausen , E. Paxon Frady , Friedrich T. Sommer

While large language models (LLMs) have shown remarkable capabilities in natural language processing, they struggle with complex, multi-step reasoning tasks involving knowledge graphs (KGs). Existing approaches that integrate LLMs and KGs…

Computation and Language · Computer Science 2024-09-25 Zixuan Dong , Baoyun Peng , Yufei Wang , Jia Fu , Xiaodong Wang , Yongxue Shan , Xin Zhou

Knowledge Graphs (KG) act as a great tool for holding distilled information from large natural language text corpora. The problem of natural language querying over knowledge graphs is essential for the human consumption of this information.…

Machine Learning · Computer Science 2021-12-22 Aayushee Gupta , K. M. Annervaz , Ambedkar Dukkipati , Shubhashis Sengupta

One of the primary goals of information theory is to provide limits on the amount of information it is possible to send through various types of communication channels, and to understand the encoding methods that will allow one to achieve…

Quantum Physics · Physics 2014-08-07 Michael R. Beran , Scott M. Cohen

Neural networks and other machine learning models compute continuous representations, while humans communicate with discrete symbols. Reconciling these two forms of communication is desirable to generate human-readable interpretations or to…

Machine Learning · Computer Science 2021-04-05 André F. T. Martins

Graph pattern matching is a fundamental operation for the analysis and exploration ofdata graphs. In thispaper, we presenta novel approachfor efficiently finding homomorphic matches for hybrid graph patterns, where each pattern edge may be…

Databases · Computer Science 2022-09-29 Xiaoying Wu , Dimitri Theodoratos , Nikos Mamoulis , Michael Lan

Bundle recommendations strive to offer users a set of items as a package named bundle, enhancing convenience and contributing to the seller's revenue. While previous approaches have demonstrated notable performance, we argue that they may…

Information Retrieval · Computer Science 2024-12-11 Yang Li , Kangbo Liu , Yaoxin Wu , Zhaoxuan Wang , Erik Cambria , Xiaoxu Wang

Semantic networks provide a useful tool to understand how related concepts are retrieved from memory. However, most current network approaches use pairwise links to represent memory recall patterns. Pairwise connections neglect higher-order…

Computation and Language · Computer Science 2023-04-14 Salvatore Citraro , Simon De Deyne , Massimo Stella , Giulio Rossetti

Probabilistic graphical models that encode indistinguishable objects and relations among them use first-order logic constructs to compress a propositional factorised model for more efficient (lifted) inference. To obtain a lifted…

Artificial Intelligence · Computer Science 2025-09-01 Jan Speller , Malte Luttermann , Marcel Gehrke , Tanya Braun

A possible link between Holography and Information Theory is presented. Using the relation between the Shannon and Boltzmann formulas Holography can be seen as the best encoding scheme.

High Energy Physics - Theory · Physics 2007-05-23 L. Alejandro Correa-Borbonet

Given the emergent reasoning abilities of large language models, information retrieval is becoming more complex. Rather than just retrieve a document, modern information retrieval systems advertise that they can synthesize an answer based…

Information Retrieval · Computer Science 2024-03-15 Gregory Coppola

With higher-order neighborhood information of graph network, the accuracy of graph representation learning classification can be significantly improved. However, the current higher order graph convolutional network has a large number of…

Machine Learning · Computer Science 2019-08-05 FangYuan Lei , Xun Liu , QingYun Dai , Bingo Wing-Kuen Ling , Huimin Zhao , Yan Liu

Answering complex first-order logic (FOL) queries on knowledge graphs is essential for reasoning. Symbolic methods offer interpretability but struggle with incomplete graphs, while neural approaches generalize better but lack transparency.…

Artificial Intelligence · Computer Science 2026-03-18 Lihui Liu

Effective information analysis generally boils down to properly identifying the structure or geometry of the data, which is often represented by a graph. In some applications, this structure may be partly determined by design constraints or…

Machine Learning · Computer Science 2016-11-07 Dorina Thanou , Xiaowen Dong , Daniel Kressner , Pascal Frossard

Integrating large language models (LLMs) with knowledge graphs derived from domain-specific data represents an important advancement towards more powerful and factual reasoning. As these models grow more capable, it is crucial to enable…

Artificial Intelligence · Computer Science 2024-04-19 Stefan Dernbach , Khushbu Agarwal , Alejandro Zuniga , Michael Henry , Sutanay Choudhury