中文
相关论文

相关论文: Elenchus: Generating Knowledge Bases from Prover-S…

200 篇论文

By providing external information to large language models (LLMs), tool augmentation (including retrieval augmentation) has emerged as a promising solution for addressing the limitations of LLMs' static parametric memory. However, how…

计算与语言 · 计算机科学 2024-02-28 Jian Xie , Kai Zhang , Jiangjie Chen , Renze Lou , Yu Su

The relationship between communicated language and intended meaning is often probabilistic and sensitive to context. Numerous strategies attempt to estimate such a mapping, often leveraging recursive Bayesian models of communication. In…

计算与语言 · 计算机科学 2023-05-03 Benjamin Lipkin , Lionel Wong , Gabriel Grand , Joshua B Tenenbaum

Large Language Models (LLMs) have significantly impacted nearly every domain of human knowledge. However, the explainability of these models esp. to laypersons, which are crucial for instilling trust, have been examined through various…

人机交互 · 计算机科学 2024-12-12 Arion Das , Asutosh Mishra , Amitesh Patel , Soumilya De , V. Gurucharan , Kripabandhu Ghosh

Can language models (LM) ground question-answering (QA) tasks in the knowledge base via inherent relational reasoning ability? While previous models that use only LMs have seen some success on many QA tasks, more recent methods include…

计算与语言 · 计算机科学 2023-06-07 Yujie Lu , Siqi Ouyang , Kairui Zhou

Large language models (LLMs) demonstrate strong cognitive intelligence (IQ), yet many real-world interactions also require emotional intelligence (EQ) to produce responses that are both factually reliable and emotionally appropriate. In…

计算与语言 · 计算机科学 2026-03-18 Yifei Zhang , Mingyang Li , Henry Gao , Liang Zhao

Large language models are increasingly integrated into decision-making in areas such as healthcare, law, finance, engineering, and government. Yet they share a critical limitation: they produce fluent outputs even when their internal…

人工智能 · 计算机科学 2026-04-17 Rikard Rosenbacke , Carl Rosenbacke , Victor Rosenbacke , Martin McKee

The large language models (LLMs) might produce a persuasive argument within mathematical and logical fields, although such argument often includes some minor missteps, including the entire omission of side conditions, invalid inference…

人工智能 · 计算机科学 2026-04-09 Kranthi Kommuru , Kunal Khanvilkar , Gaurav Parekh

Recent advances in Large Language Models (LLMs) have shown that their reasoning capabilities can be significantly improved through Reinforcement Learning with Verifiable Reward (RLVR), particularly in domains like mathematics and…

This paper presents a hybrid architecture for intelligent systems in which large language models (LLMs) are extended with an external ontological memory layer. Instead of relying solely on parametric knowledge and vector-based retrieval…

人工智能 · 计算机科学 2026-04-23 Pavel Salovskii , Iuliia Gorshkova

Large language models (LLMs) have achieved impressive human-like performance across various reasoning tasks. However, their mastery of underlying inferential rules still falls short of human capabilities. To investigate this, we propose a…

计算与语言 · 计算机科学 2024-06-24 Siyuan Wang , Zhongyu Wei , Yejin Choi , Xiang Ren

We present a new approach to integrating deep learning with knowledge-based systems that we believe shows promise. Our approach seeks to emulate reasoning structure, which can be inspected part-way through, rather than simply learning…

人工智能 · 计算机科学 2019-12-12 Aaron Eberhart , Monireh Ebrahimi , Lu Zhou , Cogan Shimizu , Pascal Hitzler

Large Language Models (LLMs) generate fluent, plausible text that can mislead users into mistaking simulated coherence for genuine understanding. This paper introduces the Epistemic Suite, a post-foundational diagnostic methodology for…

计算机与社会 · 计算机科学 2025-10-30 Matthew Kelly

Evaluating multi-turn dialogue systems remains challenging because response quality depends not only on the current prompt, but also on previously established entities, claims, and conversational commitments. Existing automatic evaluators,…

计算与语言 · 计算机科学 2026-05-19 Avijit Shil , Suman Samui

Large Language Models (LLMs) achieve strong performance in analyzing and generating text, yet they struggle with explicit, transparent, and verifiable reasoning over complex texts such as those containing debates. In particular, they lack…

人工智能 · 计算机科学 2026-03-04 Gianvincenzo Alfano , Sergio Greco , Lucio La Cava , Stefano Francesco Monea , Irina Trubitsyna

This paper investigates the role of dynamic external knowledge integration in improving counter-argument generation using Large Language Models (LLMs). While LLMs have shown promise in argumentative tasks, their tendency to generate…

计算与语言 · 计算机科学 2025-06-23 Anar Yeginbergen , Maite Oronoz , Rodrigo Agerri

Querying large datasets with incomplete and vague data is still a challenge. Ontology-based query answering extends standard database query answering by background knowledge from an ontology to augment incomplete data. We focus on…

计算机科学中的逻辑 · 计算机科学 2018-08-07 Rafael Peñaloza , Veronika Thost , Anni-Yasmin Turhan

A lively ongoing debate is taking place, since the extraordinary emergence of Large Language Models (LLMs) with regards to their capability to understand the world and capture the meaning of the dialogues in which they are involved.…

计算与语言 · 计算机科学 2025-05-09 Daniel N. Nissani

While large language models (LLMs) have demonstrated impressive performance in question-answering tasks, their performance is limited when the questions require knowledge that is not included in the model's training data and can only be…

计算与语言 · 计算机科学 2023-09-22 Abhigya Sodani , Lauren Moos , Matthew Mirman

The utility of synthetic data to enhance pretraining data quality and hence to improve downstream task accuracy has been widely explored in recent large language models (LLMs). Yet, these approaches fall inadequate in complex, multi-hop and…

Despite the impressive capabilities of Large Language Models (LLMs), existing Conversational Health Agents (CHAs) remain static and brittle, incapable of adaptive multi-turn reasoning, symptom clarification, or transparent decision-making.…

计算与语言 · 计算机科学 2025-07-11 Xinyi Liu , Dachun Sun , Yi R. Fung , Dilek Hakkani-Tür , Tarek Abdelzaher