English
Related papers

Related papers: ForesightFlow: An Information Leakage Score Framew…

200 papers

Predictive Process Monitoring is a branch of process mining that aims to predict the outcome of an ongoing process. Recently, it leveraged machine-and-deep learning architectures. In this paper, we extend our prior LLM-based Predictive…

Artificial Intelligence · Computer Science 2026-01-19 Alessandro Padella , Massimiliano de Leoni , Marlon Dumas

Early-warning models built from Learning Management System (LMS) logs aim to predict end-of-course outcomes early enough to enable timely learner support. However, reported "early" performance is often inflated by temporal leakage. This…

Artificial Intelligence · Computer Science 2026-05-26 Ngoc Luyen Le , Marie-Hélène Abel , Bertrand Laforge

Despite possessing impressive skills, Large Language Models (LLMs) often fail unpredictably, demonstrating inconsistent success in even basic common sense reasoning tasks. This unpredictability poses a significant challenge to ensuring…

This paper investigates a flow- and path-sensitive static information flow analysis. Compared with security type systems with fixed labels, it has been shown that flow-sensitive type systems accept more secure programs. We show that an…

Programming Languages · Computer Science 2017-06-22 Peixuan Li , Danfeng Zhang

Explainable systems expose information about why certain observed effects are happening to the agents interacting with them. We argue that this constitutes a positive flow of information that needs to be specified, verified, and balanced…

Logic in Computer Science · Computer Science 2025-09-24 Bernd Finkbeiner , Hadar Frenkel , Julian Siber

In the era of increasingly complex AI models for time series forecasting, progress is often measured by marginal improvements on benchmark leaderboards. However, this approach suffers from a fundamental flaw: standard evaluation metrics…

Machine Learning · Computer Science 2026-05-28 Wanjin Feng , Yuan Yuan , Jingtao Ding , Yong Li

Safety evaluation for advanced AI systems assumes that behavior observed under evaluation predicts behavior in deployment. This assumption weakens for agents with situational awareness, which may exploit regime leakage, cues distinguishing…

Artificial Intelligence · Computer Science 2026-02-17 Igor Santos-Grueiro

Hardware acceleration in modern networks creates monitoring blind spots by offloading flows to a non-observable state, hindering real-time service degradation (SD) detection. To address this, we propose and formalize a novel inter-flow…

Networking and Internet Architecture · Computer Science 2025-09-16 Balint Bicski , Adrian Pekar

The growing reliance on prediction markets as epistemic infrastructures has positioned platforms like Polymarket as providers of objective, real-time probabilistic truth, yet the signals they produce often obscure uncertainty, strategic…

Computers and Society · Computer Science 2026-02-06 Yasaman Rohanifar , Syed Ishtiaque Ahmed , Sharifa Sultana

Evaluating the true forecasting ability of AI agents requires environments that are resistant to environments resistant to overfitting, free from centralized trust, and grounded in incentive-compatible scoring. Existing benchmarks either…

Multiagent Systems · Computer Science 2026-05-05 Maksym Nechepurenko , Pavel Shuvalov

We present a novel formal system for proving quantitative-leakage properties of programs. Based on a theory of Quantitative Information Flow (QIF) that models information leakage as a noisy communication channel, it uses "gain-functions"…

Logic in Computer Science · Computer Science 2025-06-17 Chris Chen , Annabelle McIver , Carroll Morgan

Large language models are moving from static text generators toward real-world decision-support systems, where forecasting is a composite capability that links information gathering, evidence integration, situational judgment, and…

Artificial Intelligence · Computer Science 2026-05-06 Yiding Ma , Chengyun Ruan , Kaibo Huang , Zhongliang Yang , Linna Zhou

Stochastic human motion prediction is critical for safe and effective human-robot collaboration (HRC) in industrial remanufacturing, as it captures human motion uncertainties and multi-modal behaviors that deterministic methods cannot…

Robotics · Computer Science 2025-12-17 Sibo Tian , Minghui Zheng , Xiao Liang

Imposing consistency through proxy tasks has been shown to enhance data-driven learning and enable self-supervision in various tasks. This paper introduces novel and effective consistency strategies for optical flow estimation, a problem…

Computer Vision and Pattern Recognition · Computer Science 2022-05-25 Jisoo Jeong , Jamie Menjay Lin , Fatih Porikli , Nojun Kwak

The visual representation of a pre-trained model prioritizes the classifiability on downstream tasks, while the widespread applications for pre-trained visual models have posed new requirements for representation interpretability. However,…

Computer Vision and Pattern Recognition · Computer Science 2025-10-29 Shufan Shen , Zhaobo Qi , Junshu Sun , Qingming Huang , Qi Tian , Shuhui Wang

Empirical investigations into unintended model behavior often show that the algorithm is predicting another outcome than what was intended. These exposes highlight the need to identify when algorithms predict unintended quantities - ideally…

Methodology · Statistics 2026-01-27 Amanda Coston

The purpose of the research was to build an index of informational asymmetry with market and firm proxies that reflect the analysts' perception of the level of informational asymmetry of companies. The proposed method consists of the…

General Finance · Quantitative Finance 2024-09-11 Roberto Frota Decourt , Heitor Almeida , Philippe Protin , Matheus R. C. Gonzalez

We introduce IFIR, the first comprehensive benchmark designed to evaluate instruction-following information retrieval (IR) in expert domains. IFIR includes 2,426 high-quality examples and covers eight subsets across four specialized…

Computation and Language · Computer Science 2025-03-07 Tingyu Song , Guo Gan , Mingsheng Shang , Yilun Zhao

Large language model (LLM) agents frequently fail on multi-step tasks involving reasoning, tool use, and environment interaction. While such failures are typically logged or retried heuristically, they contain structured signals about where…

Machine Learning · Computer Science 2026-05-26 Akash Bonagiri , Devang Borkar , Gerard Janno Anderias , Setareh Rafatirad , Houman Homayoun

Most LLM benchmarks score how well a model responds to explicit requests. They leave unmeasured a different conversational ability: noticing and acting on needs the user has implied but not said. We call this \emph{conversational…

Machine Learning · Computer Science 2026-05-12 Sepehr Harfi , Ahmad Salimi , Dongming Shen , Alex Smola