English
Related papers

Related papers: An Abstract Account of Up-to Techniques for Induct…

200 papers

Attention-based pre-trained language models such as GPT-2 brought considerable progress to end-to-end dialogue modelling. However, they also present considerable risks for task-oriented dialogue, such as lack of knowledge grounding or…

Computation and Language · Computer Science 2022-01-17 Jonáš Kulhánek , Vojtěch Hudeček , Tomáš Nekvinda , Ondřej Dušek

The human brain is a complex system defined by multi-way, higher-order interactions invisible to traditional pairwise network models. Although a diverse array of analytical methods has been developed to address this shortcoming, the field…

Quantitative Methods · Quantitative Biology 2025-11-11 Mohamma Reza Salehi , Ali BashirGonbadi , Hamid Soltanian-Zadeh

Abductive reasoning aims to make the most likely inference for a given set of incomplete observations. In this paper, we introduce "Abductive Past Action Inference", a novel research task aimed at identifying the past actions performed by…

Computer Vision and Pattern Recognition · Computer Science 2025-01-23 Clement Tan , Chai Kiat Yeo , Cheston Tan , Basura Fernando

This book is an invitation to discover advanced topics in category theory through concrete, real-world examples. It aims to give a tour: a gentle, quick introduction to guide later exploration. The tour takes place over seven sketches, each…

Category Theory · Mathematics 2018-10-16 Brendan Fong , David I Spivak

Aligning large language models (LLMs) with human expectations requires high-quality instructional dialogues, which usually require instructions that are diverse and in-depth. Existing methods leverage two LLMs to interact for automatic…

Computation and Language · Computer Science 2024-10-01 Jiao Ou , Jiayu Wu , Che Liu , Fuzheng Zhang , Di Zhang , Kun Gai

We introduce the notion of w-upper semicontinuous set valued maps and give a new fixed-point theorem. We also introduce the notion of set valued maps with e-USS-property. These results can be applied to obtain some new equilibrium theorems…

Optimization and Control · Mathematics 2013-04-04 Carlos Hervés-Beloso , Monica Patriche

Several recent papers in digital topology have sought to obtain fixed point results by mimicking the use of tools from classical topology, such as complete metric spaces and homotopy invariant fixed point theory. We show that in many cases,…

General Topology · Mathematics 2018-07-04 Laurence Boxer , P. Christopher Staecker

Many machine learning algorithms rely on iterative updates of uncertainty representations, ranging from variational inference and expectation-maximization, to reinforcement learning, continual learning, and multi-agent learning. In the…

Machine Learning · Computer Science 2026-02-05 Michele Caprio , Siu Lun Chau , Krikamol Muandet

Transformer models typically calculate attention matrices using dot products, which have limitations when capturing nonlinear relationships between embedding vectors. We propose Neural Attention, a technique that replaces dot products with…

Machine Learning · Computer Science 2025-11-10 Andrew DiGiugno , Ausif Mahmood

Sequential recommender models typically generate predictions in a single step during testing, without considering additional prediction correction to enhance performance as humans would. To improve the accuracy of these models, some…

Information Retrieval · Computer Science 2023-04-28 Yulong Huang , Yang Zhang , Qifan Wang , Chenxu Wang , Fuli Feng

Autoregressive models used to generate responses in open-domain dialogue systems often struggle to take long-term context into account and to maintain consistency over a dialogue. Previous research in open-domain dialogue generation has…

Computation and Language · Computer Science 2023-04-18 Mehrdad Farahani , Richard Johansson

The recent criticisms of the robustness of post hoc model approximation explanation methods (like LIME and SHAP) have led to the rise of model-precise abductive explanations. For each data point, abductive explanations provide a minimal…

Artificial Intelligence · Computer Science 2023-10-13 Gagan Biradar , Yacine Izza , Elita Lobo , Vignesh Viswanathan , Yair Zick

Tipping points are critical thresholds of parameters where tiny perturbations can lead to abrupt and large qualitative changes in the systems. Many real-world systems that exhibit tipping behavior can be represented as networks of…

Chaotic Dynamics · Physics 2025-09-10 Richita Ghosh , Manish Dev Shrimali

This short paper discusses continually updated causal abstractions as a potential direction of future research. The key idea is to revise the existing level of causal abstraction to a different level of detail that is both consistent with…

Artificial Intelligence · Computer Science 2023-01-10 Matej Zečević , Moritz Willig , Jonas Seng , Florian Peter Busch

Recent approaches for dialogue act recognition have shown that context from preceding utterances is important to classify the subsequent one. It was shown that the performance improves rapidly when the context is taken into account. We…

Computation and Language · Computer Science 2020-03-17 Chandrakant Bothe , Sven Magg , Cornelius Weber , Stefan Wermter

Compared with previous two-stream trackers, the recent one-stream tracking pipeline, which allows earlier interaction between the template and search region, has achieved a remarkable performance gain. However, existing one-stream trackers…

Computer Vision and Pattern Recognition · Computer Science 2023-04-24 Shenyuan Gao , Chunluan Zhou , Jun Zhang

Visual attention has shown usefulness in image captioning, with the goal of enabling a caption model to selectively focus on regions of interest. Existing models typically rely on top-down language information and learn attention implicitly…

Computer Vision and Pattern Recognition · Computer Science 2019-04-02 Shi Chen , Qi Zhao

Attention mechanisms have attracted considerable interest in image captioning because of its powerful performance. Existing attention-based models use feedback information from the caption generator as guidance to determine which of the…

Computer Vision and Pattern Recognition · Computer Science 2018-07-11 Zhihao Zhu , Zhan Xue , Zejian Yuan

Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus involving induction and co-induction. These proof principles…

Logic in Computer Science · Computer Science 2009-09-30 Alwen Tiu , Alberto Momigliano

We propose a novel data augmentation for labeled sentences called contextual augmentation. We assume an invariance that sentences are natural even if the words in the sentences are replaced with other words with paradigmatic relations. We…

Computation and Language · Computer Science 2018-05-17 Sosuke Kobayashi