William & Mary

Toward Explaining Large Language Models in Software Engineering Tasks

Recent progress in Large Language Models (LLMs) has substantially advanced the automation of software engineering (SE) tasks, enabling complex activities such as code generation and code summarization. However, the black-box nature of LLMs remains a major barrier to their adoptio...

Geometry of essential matrix ranges and the Smith–Ward problem for operator systems

Abstract A ‐tuple of bounded linear selfadjoint operators acting on an infinite‐dimensional separable Hilbert space is said to have the Smith–Ward property if the identity map of the image of the operator system in the Calkin algebra has a completely positive lift. In this paper,...

Are Redistricting No-Split Rules Neutral? Post-2020 Ohio as a Case Study

The enforcement of city- and county-preserving “no-split” rules in redistricting can complicate estimations of the expected partisan seat splits and responsiveness of neutral map drawing, even creating the impression that these nominally partisan-blind rules favor one party. This...