paper-with-me

Papers

Multiple Instance Verification

2024-07-09 · Xin Xu, Eibe Frank, Geoffrey Holmes

We explore multiple-instance verification, a problem setting where a query instance is verified against a bag of target instances with heterogeneous, unknown relevancy. We show that naive adaptations of attention-based multiple instance learning (MIL) methods and standard verification methods like Siamese neural networks are unsuitable for this setting: directly combining state-of-the-art (SOTA) MIL methods and Siamese networks is shown to be no better, and sometimes significantly worse, than a simple baseline model. Postulating that this may be caused by the failure of the representation of the target bag to incorporate the query instance, we introduce a new pooling approach named ``cross-attention pooling'' (CAP). Under the CAP framework, we propose two novel attention functions to address the challenge of distinguishing between highly similar instances in a target bag. Through empirical studies on three different verification tasks, we demonstrate that CAP outperforms adaptations of SOTA MIL methods and the baseline by substantial margins, in terms of both classification accuracy and quality of the explanations provided for the classifications. Ablation studies confirm the superior ability of the new attention functions to identify key instances.

📄 PDF Abstract BibTeX arXiv:2407.06544

Code (0)

등록된 구현이 없습니다.

Tasks

Multiple Instance Learning

Methods 이 논문이 사용한 방법론

Softmax The Softmax output function transforms a previous layer's output into a vector of probabilities. It is commonly used for multiclass classification. Given an input vector $x$…
Attention 설명 없음

Similar Papers 제목 키워드 기반

Evaluating adversarial attacks against multiple fact verification systems

2019-11-01 · IJCNLP 2019 11 · James Thorne, Andreas Vlachos, Christos Christodoulopoulos, Arpit Mittal

Automated fact verification has been progressing owing to advancements in modeling and availability of large datasets. Due to the nature of the task, it is critical to understand the vulnerabilities of these systems agai…

Fact Verification

Stress-Testing Neural Network Verifiers with Provably Robust Instances

2026-05-16 · David Troxell, Yulia Alexandr, Sofia Hunt, Stephanie Lei 외 arxiv

Neural network verifiers aim to provide formal guarantees on model behavior, but existing verification benchmarks are fundamentally limited by their lack of ground-truth labels. As a result, verifier evaluation relies on…

Non-Deterministic Planning for Hyperproperty Verification

2024-05-22 · Raven Beutner, Bernd Finkbeiner

Non-deterministic planning aims to find a policy that achieves a given objective in an environment where actions have uncertain effects, and the agent - potentially - only observes parts of the current state. Hyperproper…

PlanGEN: A Multi-Agent Framework for Generating Planning and Reasoning Trajectories for Complex Problem Solving

2025-02-22 · Mihir Parmar, Xin Liu, Palash Goyal, Yanfei Chen 외

Recent agent frameworks and inference-time algorithms often struggle with complex planning problems due to limitations in verifying generated plans or reasoning and varying complexity of instances within a single task. M…

Koopman Regularized Deep Speech Disentanglement for Speaker Verification

2026-03-05 · Nikos Chazaridis, Mohammad Belal, Rafael Mestre, Timothy J. Norman 외 arxiv

Human speech contains both linguistic content and speaker dependent characteristics making speaker verification a key technology in identity critical applications. Modern deep learning speaker verification systems aim to…

Representation LearningSpeaker Verification