Near-Term Verification Methods for AI Chip Exports

Bruna Avellar; Erich Grunewald

Home/Archive/arXiv

arXiv · 2609.07637

Near-Term Verification Methods for AI Chip Exports

Bruna Avellar·Erich Grunewald

View original source ↗Read source document ↗Export metadata ↓

Abstract

AI chip export controls can help the United States shape the development of frontier AI, but their effectiveness depends on reliable methods for verifying compliance. This paper examines near-term verification mechanisms (implementable in approximately one year) and groups them into three categories: end-location verification (whether controlled chips remain in authorized locations and/or jurisdictions), end-user verification (whether entities that acquire or access compute are legitimate), and end-use verification (whether computing power is used for prohibited purposes). We discuss how each mechanism can be implemented within the regulatory framework of the U.S. Bureau of Industry and Security (BIS), outlining implementation steps and identifying which actors can perform verification (BIS, exporters, or accredited third-party auditors). Given BIS's resource constraints, the most viable mechanisms rely on private-sector actors working alongside BIS, leverage existing technologies, and scale without requiring large increases in government staffing. These mechanisms could also help monitor future international agreements on AI.

Explore related subjects

cs.CY

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Bruna Avellar, Erich Grunewald. 2026-09-07. Near-Term Verification Methods for AI Chip Exports. https://arxiv.org/abs/2609.07637

Cite the original work for its findings. Save a collection to share your selection of sources.

Discover connections

cs.CY subject

Connections use source metadata and explicit phrase matches, not verified experimental comparisons.

KEEP EXPLORING

Related papers

arXiv2026

Algorithmic Shortlisting in Participatory Budgeting

Participatory budgeting is a democratic innovation that allows citizens to propose and vote on public investment projects. To help organizers manage large volumes of submissions, we design and test privacy-preserving methods for algorithmic shortlisting. These algorithms predict which projects are likely to be funded using only project features and anonymous historical voting data. We demonstrate the limitations of a naive approach that uses a large language model to rank projects based on past success and propose a vote-based pipeline that enables state-of-the-art LLMs to perform on par with classical machine learning. Our findings indicate that user preferences in participatory budgeting are stable enough to allow algorithmic shortlisting to approximate an initial selection of projects effectively.

cs.CY↗

arXiv2026

Human Resilience in the AI Era -- What Machines Can't Replace

AI is changing work and decision making faster than many institutions can adapt their operating practices. We argue that this adaptation gap makes human resilience a core capability for the AI era. We define resilience as the capacity to absorb disruption while preserving effective action and human agency around core purposes. The framework operates at three interacting levels. Psychological resilience keeps a person goal-directed under stress. Social resilience makes trusted support and correction available across a group. Organizational resilience turns detected problems into learning and recovery. We connect established resilience and technostress research with direct AI-in-the-loop experiments. General resilience is trainable, while AI-specific causal evidence is still emerging. Direct AI studies show that assistance can raise productivity and spread expertise. Other experiments show improved expressed empathy and more calibrated reliance. We translate these findings into a practical agenda for AI education, workplace design, governance, and evaluation. The central proposal is socio-technical: structural safeguards define the operating boundary, while resilient people and institutions provide adaptive capacity when conditions change.

cs.CY↗

arXiv2026

Toward a Time-Aware Assessment Framework for the Carbon Cost of AI-Enabled Decarbonization

AI is increasingly used to support decarbonization decisions across the built environment, yet the development, training, and use of AI consume energy and induce CO2e emissions. However, existing assessments often report physical-system savings while omitting AI-side emissions. Moreover, they rarely account for the mismatch between when AI costs occur and when decarbonization benefits materialize, which may be substantial for infrastructure-scale projects. To address these issues, we present a time-aware assessment framework that models avoided emissions and AI-induced emissions as discrete-time streams over a finite time horizon. In demonstrating this process, we seek to show that time-aware assessment can support temporal decision-making, identify cases in which accounting for time value of carbon can change preferred rankings relative to time-invariant totals, and explore how decisions may vary with slightly different governance priorities. Using four representative interventions with intentionally different temporal profiles (multi-project low-carbon concrete design support, AI-assisted construction logistics, agentic HVAC control, and predictive maintenance), we demonstrate how discounting can change preferred rankings relative to time-invariant totals and supports ranking sensitivity analysis, discounted payback screening, and break-even discount-rate analysis. We also provide decision guidelines that support go/no-go screening, timing decisions, and minimum "bang-for-your-buck" thresholds. Ultimately, this work contributes a lightweight framework for deciding whether and when to deploy AI-enabled interventions for decarbonization under explicit time preference.

cs.CY↗