Expertini Research Research

Browse Research Papers

5,590+ open-access research outputs.

โœ• Clear
๐Ÿ” matthew brett ๐Ÿ“‚ Computer Science
Showing 5590 results for "matthew brett" in Computer Science
Computer Science Preprint PDF DOI

Computing Equilibrium beyond Unilateral Deviation

Mingyang Liu, Gabriele Farina, Asuman Ozdaglar ยท 2026

Most familiar equilibrium concepts, such as Nash and correlated equilibrium, guarantee only that no single player can improve their utility by deviating unilaterally. They offer no guarantees against โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

TwinGate: Stateful Defense against Decompositional Jailbreaks in Untraceable Traffic via Asymmetric Contrastive Learning

Bowen Sun, Chaozhuo Li, Yaodong Yang, Yiwei Wang, Chaowei Xiao ยท 2026

Decompositional jailbreaks pose a critical threat to large language models (LLMs) by allowing adversaries to fragment a malicious objective into a sequence of individually benign queries that collectiโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

An Exact 56-Addition, Rank-23 Scheme for General 3*3 Matrix Multiplication

Yinqi Sun ยท 2026

We present a rank-$23$ algorithm for general $3\times3$ matrix multiplication that uses $56$ additions/subtractions and $23$ multiplications, for a total of $79$ scalar operations in the standard biliโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

To Diff or Not to Diff? Structure-Aware and Adaptive Output Formats for Efficient LLM-based Code Editing

Wei Cheng, Yongchang Cao, Chen Shen, Binhua Li, Jue Chen, Yongbin Li, Wei Hu ยท 2026

Large Language Models (LLMs) are increasingly used for code editing, yet the prevalent full-code generation paradigm suffers from severe efficiency bottlenecks, posing challenges for interactive codinโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Few-Shot Accent Synthesis for ASR with LLM-Guided Phoneme Editing

Yurii Halychanskyi, Nimet Beyza Bozdag, Mark Hasegawa-Johnson, Dilek Hakkani-Tur, Volodymyr Kindratenko ยท 2026

Accented automatic speech recognition (ASR) often degrades due to the limited availability of accented training data. Prior work has explored accent modeling in low-resource settings, but existing appโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Improved Approximation Algorithm for Maximum Balanced Biclique

Pasin Manurangsi ยท 2026

We study the Maximum Balanced Biclique (MBB) problem: Given a bipartite graph $G$ with $n$ vertices on each side, find a balanced biclique in $G$ with maximum size. We give a polynomial-time $\left(\fโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Which Types of Heterogeneity Matter for Root Cause Localization in Microservice Systems ?

Runzhou Wang, Shenglin Zhang, Wenwei Gu, Yongxin Zhao, Chenyu Zhao, Dan Pei, Yuxuan Chen, Yangyuxin Huang ยท 2026

Microservice root cause localization is fundamentally challenged by the inherent heterogeneity of cloud-native systems, which encompasses diverse observability data and multiple system entities. Existโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

FACT: Compositional Kernel Synthesis with a Three-Stage Agentic Workflow

Sina Heidari, Dimitrios S. Nikolopoulos ยท 2026

Deep learning compilers and vendor libraries deliver strong baseline performance but are bounded by finite, engineer-curated catalogs. When these omit needed optimizations, practitioners substitute haโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification

Masato Kamba, Hirotake Murakami, Akiyoshi Sannai ยท 2026

Security-critical software is routinely audited by tools that reason about vulnerabilities as repository-local code patterns. Yet specification-governed systems -- protocol stacks, consensus implementโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

PiLLar: Matching for Pivot Table Schema via LLM-guided Monte-Carlo Tree Search

Yunjun Gao, Chuangyu Ouyang, Congcong Ge, Yifan Zhu ยท 2026

Pivot tables are ubiquitous in data lakes of modern data ecosystems, making accurate schema matching over pivot tables a key prerequisite for data integration. In this paper, we focus on matching for โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Enforcing Benign Trajectories: A Behavioral Firewall for Structured-Workflow AI Agents

Hung Dang ยท 2026

Structured-workflow agents driven by large language models execute tool calls against sensitive external environments. We propose \codename, a telemetry-driven behavioral anomaly detection firewall. Dโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Flashback: A Reversible Bilateral Run-Peeling Decomposition of Strings

Thomas Konstantinovsky, Gur Yaari ยท 2026

We introduce Flashback, a reversible string decomposition that repeatedly peels the maximal leading and trailing character runs from a sentinel-wrapped input, recording each pair as one bilateral tokeโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Large Language Models as Explainable Cyberattack Detectors for Energy Industrial Control Systems

Weiyi Kong, Ahmad Mohammad Saber, Amr Youssef, Deepa Kundur ยท 2026

In modern energy systems, industrial control systems (ICS) and power-system SCADA require intrusion detection that is not only accurate but also auditable by operators. The ICS intrusion-detection lanโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Does social identity matter in software engineering? Assessing the case of research software engineers

Chukwudi Uwasomba, Tamara Lopez, Melanie Langer, Helen Sharp, Michel Wermelinger, Caroline Jay, Mark Levine, Bashar Nuseibeh ยท 2026

Social identity is a concept from psychology that refers to the part of an individual's identity that derives from their group membership(s). In this paper, we explore social identity in members of thโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Praxy Voice: Voice-Prompt Recovery + BUPS for Commercial-Class Indic TTS from a Frozen Non-Indic Base at Zero Commercial-Training-Data Cost

Venkata Pushpak Teja Menta ยท 2026

Commercial TTS systems produce near-native Indic audio, but the best open-source bases (Chatterbox, Indic Parler-TTS, IndicF5) trail them on measured phonological dimensions, and the most widely adoptโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models

Marvin Grosser, Carsten Lutz ยท 2026

We study the problem of fitting a description logic (DL) ontology to a given set of positive and negative examples that take the form of an ABox and a Boolean query. While previous work has investigatโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

8DNA: 8D Neural Asset Light Transport by Distribution Learning

Liwen Wu, Haolin Lu, Bing Xu, Milos Hasan, Ravi Ramamoorthi ยท 2026

High-fidelity 3D assets exhibit intriguing global illumination effects like subsurface scattering, glossy interreflections, and fine-scale fiber scatterings, which often involve long scattering paths โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Does This Even Matter in the Real World? Real World Problems in Foundational Theory Courses

Anna Kuznetsova ยท 2026

Discrete mathematics and probability theory contain foundational material for computer scientists. Despite their importance, instructors often worry that students will find these courses to be too absโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Spark Policy Toolkit: Semantic Contracts and Scalable Execution for Policy Learning in Spark

Zeyu Bai ยท 2026

Custom policy-learning pipelines in Spark fail for two coupled systems reasons: rowwise Python execution makes inference impractical, and driver-side candidate materialization makes split search fragiโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Covariance-Aware Demapping on Fourier-Curve Constellations

Bin Han, Muxia Sun, H. Vincent Poor, Hans D. Schotten ยท 2026

Injecting artificial noise (AN) along the tangent space of a curved constellation makes each transmitted symbol induce a Gaussian observation with a symbol-dependent rank-one covariance, so the matcheโ€ฆ

Read Paper โ†’
Page 1 of 280 Next โ†’