Expertini Research Research

Browse Research Papers

57,149+ open-access research outputs.

โœ• Clear
๐Ÿ” program evaluation ๐Ÿ“‚ Computer Science
Showing 57149 results for "program evaluation" in Computer Science
Computer Science Preprint PDF DOI

Transient Turn Injection: Exposing Stateless Multi-Turn Vulnerabilities in Large Language Models

Naheed Rayhan, Sohely Jahan ยท 2026

Large language models (LLMs) are increasingly integrated into sensitive workflows, raising the stakes for adversarial robustness and safety. This paper introduces Transient Turn Injection(TTI), a new โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Cross-Modal Phantom: Coordinated Camera-LiDAR Spoofing Against Multi-Sensor Fusion in Autonomous Vehicles

Shahriar Rahman Khan, Raiful Hasan ยท 2026

Autonomous Vehicles (AVs) increasingly depend on Multi-Sensor Fusion (MSF) to combine complementary modalities such as cameras and LiDAR for robust perception. While this redundancy is intended to safโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

TraceScope: Interactive URL Triage via Decoupled Checklist Adjudication

Haolin Zhang, William Reber, Yuxuan Zhang, Guofei Gu, Jeff Huang ยท 2026

Modern phishing campaigns increasingly evade snapshot-based URL classifiers using interaction gates (e.g., checkbox/slider challenges), delayed content rendering, and logo-less credential harvesters. โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Complexity Classes Arising from Circuits over Finite Algebraic Structures

Piotr Kawa{l}ek, Jacek Krzaczkowski ยท 2026

Most classical results in circuit complexity theory concern circuits over the Boolean domain. Besides their simplicity and the ease of comparing different languages, the actual architecture of computeโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Black-Box Skill Stealing Attack from Proprietary LLM Agents: An Empirical Study

Zihan Wang, Rui Zhang, Yu Liu, Chi Liu, Qingchuan Zhao, Hongwei Li, Guowen Xu ยท 2026

Large language model (LLM) agents increasingly rely on skills to package reusable capabilities through instructions, tools, and resources. High-quality skills embed expert knowledge, curated workflowsโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

A Brief History of Fr\'echet Distances: From Curves and Probability Laws to FID

Yuli Wu ยท 2026

This note provides a chronological account of Fr\'echet distances, starting with Maurice Fr\'echet's 1906 doctoral thesis on distances in abstract sets and tracing the Fr\'echet distance between polygโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

StyleID: A Perception-Aware Dataset and Metric for Stylization-Agnostic Facial Identity Recognition

Kwan Yun, Changmin Lee, Ayeong Jeong, Youngseo Kim, Seungmi Lee, Junyong Noh ยท 2026

Creative face stylization aims to render portraits in diverse visual idioms such as cartoons, sketches, and paintings while retaining recognizable identity. However, current identity encoders, which aโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking

Xiaofeng Zhou, Guangyu Hu, Hongce Zhang, Wei Zhang ยท 2026

The IC3 algorithm represents the state-of-the-art (SOTA) hardware model checking technique, owing to its robust performance and scalability. A significant body of research has focused on enhancing theโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Using ASP(Q) to Handle Inconsistent Prioritized Data

Meghyn Bienvenu, Camille Bourgaux, Robin Jean, Giuseppe Mazzotta ยท 2026

We explore the use of answer set programming (ASP) and its extension with quantifiers, ASP(Q), for inconsistency-tolerant querying of prioritized data, where a priority relation between conflicting faโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

You Don't Need Public Tests to Generate Correct Code

Kaushitha Silva, Srinath Perera ยท 2026

Multi-agent systems are frequently employed for autonomous code generation, demonstrating strong utility in complex algorithmic problem-solving. Recent studies tackle the difficulty of producing functโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

A Metamorphic Testing Approach to Diagnosing Memorization in LLM-Based Program Repair

Milan De Koning, Ali Asgari, Pouria Derakhshanfar, Annibale Panichella ยท 2026

LLM-based automated program repair (APR) techniques have shown promising results in reducing debugging costs. However, prior results can be affected by data leakage: large language models (LLMs) may mโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification

Lezhi Ma, Shangqing Liu, Yi Li, Qiong Wu, Han Wang, Lei Bu ยท 2026

Program verification is a formal technique to rigorously ensure the correctness and fault-freeness of software systems. However, constructing comprehensive interprocedural specifications for full veriโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Benchmarking the Utility of Privacy-Preserving Cox Regression Under Data-Driven Clipping Bounds: A Multi-Dataset Simulation Study

Keita Fukuyama, Yukiko Mori, Tomohiro Kuroda, Hiroaki Kikuchi ยท 2026

Differential privacy (DP) is a mathematical framework that guarantees individual privacy; however, systematic evaluation of its impact on statistical utility in survival analyses remains limited. In tโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Risk-Aware and Stable Edge Server Selection Under Network Latency SLOs

Mohan Liyanage, Arnova Abdullah, Eldiyar Zhantileuov, Rolf Schuster ยท 2026

We present a lightweight and interpretable decision framework for dynamic edge server selection in latency-critical applications that explicitly accounts for tail risk and switching stability. Each caโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

MCP Pitfall Lab: Exposing Developer Pitfalls in MCP Tool Server Security under Multi-Vector Attacks

Run Hao, Zhuoran Tan ยท 2026

Model Context Protocol (MCP) is increasingly adopted for tool-integrated LLM agents, but its multi-layer design and third-party server ecosystem expand risks across tool metadata, untrusted outputs, cโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Context-Aware Displacement Estimation from Mobile Phone Data: A Methodological Framework

Rajius Idzalika, Muhammad Rheza Muztahid, Radityo Eko Prasojo ยท 2026

Timely population displacement estimates are critical for humanitarian response during disasters, but traditional surveys and field assessments are slow. Mobile phone data enables near real-time trackโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Research on the efficiency of data loading and storage in Data Lakehouse architectures for the formation of analytical data systems

Ivan Borodii, Halyna Osukhivska ยท 2026

The paper presents a study of the efficiency of loading and storing data in the three most common Data Lakehouse systems, including Apache Hudi, Apache Iceberg, and Delta Lake, using Apache Spark as aโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

A Stackelberg Model for Hybridization in Cryptography

Willie Kouam, Stefan Rass, Zahra Seyedi, Shahzad Ahmad, Eckhard Pfluegel ยท 2026

Similar to a strategic interaction between rational and intelligent agents, cryptography problems can be examined through the prism of game theory. In this setting, the agent aiming to protect a messaโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Differentially Private De-identification of Dutch Clinical Notes: A Comparative Evaluation

Michele Miranda, Xinlan Yan, Nishant Mishra, Rachel Murphy, Ameen Abu-Hanna, Sebastien Bratieres, Iacer Calixto ยท 2026

Protecting patient privacy in clinical narratives is essential for enabling secondary use of healthcare data under regulations such as GDPR and HIPAA. While manual de-identification remains the gold sโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Neurodiversity and Technostress: Towards a Multimodal Research Design for Evaluating Subjective, Physiological, and Behavioral Responses

Lisa van den Heuvel, Igor Ivkic, Rene Riedl ยท 2026

Digitalization has transformed modern work by increasing efficiency while also introducing new forms of strain. Technostress (TS) describes subjective, physiological, and behavioral stress responses rโ€ฆ

Read Paper โ†’
โ† Prev Page 16 of 2858 Next โ†’