中文
相关论文

相关论文: A Graphical Language for Proof Strategies

200 篇论文

The semantic gap is defined as the difference between the linguistic representations of the same concept, which usually leads to misunderstanding between individuals with different knowledge backgrounds. Since linguistically annotated…

计算机视觉与模式识别 · 计算机科学 2022-03-01 Xiaolei Diao

The recent evolution in Natural Language Processing (NLP) methods, in particular in the field of argumentation mining, has the potential to transform the way we interact with text, supporting the interpretation and analysis of complex…

人机交互 · 计算机科学 2023-03-07 Hanadi Mardah , Oskar Wysocki , Markel Vigo , Andre Freitas

Existing data-driven methods can well handle short text generation. However, when applied to the long-text generation scenarios such as story generation or advertising text generation in the commercial scenario, these methods may generate…

计算与语言 · 计算机科学 2021-08-19 Xuming Lin , Shaobo Cui , Zhongzhou Zhao , Wei Zhou , Ji Zhang , Haiqing Chen

Current Conversational AI systems employ different machine learning pipelines, as well as external knowledge sources and business logic to predict the next action. Maintaining various components in dialogue managers' pipeline adds…

计算与语言 · 计算机科学 2024-04-15 Amin Hosseiny Marani , Ulie Schnaithmann , Youngseo Son , Akil Iyer , Manas Paldhe , Arushi Raghuvanshi

Historical maps provide valuable information and knowledge about the past. However, as they often feature non-standard projections, hand-drawn styles, and artistic elements, it is challenging for non-experts to identify and interpret them.…

计算机视觉与模式识别 · 计算机科学 2024-10-22 Ziyi Liu , Claudio Affolter , Sidi Wu , Yizi Chen , Lorenz Hurni

Defeasible reasoning is the mode of reasoning where conclusions can be overturned by taking into account new evidence. A commonly used method in cognitive science and logic literature is to handcraft argumentation supporting inference…

计算与语言 · 计算机科学 2021-06-01 Aman Madaan , Dheeraj Rajagopal , Niket Tandon , Yiming Yang , Eduard Hovy

Visual Question Answering (VQA) is concerned with answering free-form questions about an image. Since it requires a deep semantic and linguistic understanding of the question and the ability to associate it with various objects that are…

计算机视觉与模式识别 · 计算机科学 2021-07-15 Rajat Koner , Hang Li , Marcel Hildebrandt , Deepan Das , Volker Tresp , Stephan Günnemann

Diffusion models have become a new generative paradigm for text generation. Considering the discrete categorical nature of text, in this paper, we propose GlyphDiffusion, a novel diffusion approach for text generation via text-guided image…

计算与语言 · 计算机科学 2023-05-09 Junyi Li , Wayne Xin Zhao , Jian-Yun Nie , Ji-Rong Wen

Extracting meaningful insights from large and complex datasets poses significant challenges, particularly in ensuring the accuracy and relevance of retrieved information. Traditional data retrieval methods such as sequential search and…

信息检索 · 计算机科学 2024-09-27 Zahra Sepasdar , Sushant Gautam , Cise Midoglu , Michael A. Riegler , Pål Halvorsen

Visual dialog is a task of answering a sequence of questions grounded in an image using the previous dialog history as context. In this paper, we study how to address two fundamental challenges for this task: (1) reasoning over underlying…

计算机视觉与模式识别 · 计算机科学 2021-09-01 Gi-Cheon Kang , Junseok Park , Hwaran Lee , Byoung-Tak Zhang , Jin-Hwa Kim

Recent progress in Large Language Models (LLMs) and language agents has demonstrated significant promise for various future applications across multiple disciplines. While traditional approaches to language agents often rely on fixed,…

计算与语言 · 计算机科学 2024-06-18 Lukas Vierling , Jie Fu , Kai Chen

Large Language Models (LLMs) have showcased impressive reasoning capabilities, particularly when guided by specifically designed prompts in complex reasoning tasks such as math word problems. These models typically solve tasks using a…

人工智能 · 计算机科学 2024-04-23 Lang Cao

Grounding referring expressions aims to locate in an image an object referred to by a natural language expression. The linguistic structure of a referring expression provides a layout of reasoning over the visual contents, and it is often…

计算机视觉与模式识别 · 计算机科学 2020-04-21 Sibei Yang , Guanbin Li , Yizhou Yu

Skill libraries enable large language model agents to reuse experience from past interactions, but most existing libraries store skills as isolated entries and retrieve them only by semantic similarity. This leads to two key challenges for…

计算与语言 · 计算机科学 2026-05-13 Xiaoyuan Li , Moxin Li , Keqin Bao , Yubo Ma , Wenjie Wang , Dayiheng Liu , Fuli Feng

The automated generation of exercises may substantially reduce the time educators devote to manual exercise design. A major obstacle to the integration of such automation into teaching practice, however, lies in the ability to control the…

计算机科学中的逻辑 · 计算机科学 2026-03-10 João Mendes , João Marcos , Patrick Terrematte

Business communication digitisation has reorganised the process of persuasive discourse, which allows not only greater transparency but also advanced deception. This inquiry synthesises classical rhetoric and communication psychology with…

计算与语言 · 计算机科学 2025-08-14 Sayem Hossen , Monalisa Moon Joti , Md. Golam Rashed

Probabilistic Graphical Bayesian models of causation have continued to impact on strategic analyses designed to help evaluate the efficacy of different interventions on systems. However, the standard causal algebras upon which these…

统计方法学 · 统计学 2024-04-08 Preetha Ramiah , James Q. Smith , Oliver Bunnin , Silvia Liverani , Jamie Addison , Annabel Whipp

Information visualization plays a key role in business intelligence analytics. With ever larger amounts of data that need to be interpreted, using the right visualizations is crucial in order to understand the underlying patterns and…

人机交互 · 计算机科学 2024-02-16 Ana Lavalle , Alejandro Maté , Juan Trujillo , Stefano Rizzi

Prompted models have demonstrated impressive few-shot learning abilities. Repeated interactions at test-time with a single model, or the composition of multiple models together, further expands capabilities. These compositions are…

Verifying the veracity of claims requires reasoning over a large knowledge base, often in the form of corpora of trustworthy sources. A common approach consists in retrieving short portions of relevant text from the reference documents and…

信息检索 · 计算机科学 2021-09-14 Misael Mongiovì , Aldo Gangemi