Clay weekly context brief for the Computer Science category (ISO week 2026-W40).

Clay tracks publications from the Computer Science feed list. Below are recent items from this category, each with its source and a short description of what the publication covers when one is available in the source feed.

Recent publications:
1. Functional Architecture of European Electricity Trading Markets: Requirements for AI Supported Trading Systems under Regulatory Constraints
   Source: cs.AI (Artificial Intelligence)
   Link: https://arxiv.org/abs/2609.29108
   European electricity trading in the EU operates as a constrained multi-layer system in which legal design, exchange microstructure, and network physics are executed jointly across forward, day-ahead, intraday, and balancing horizons.
2. Through Human Eyes and Machine Eyes: Understanding View Mismatch in Video See-Through Extended Reality
   Source: cs.HC (Human-Computer Interaction)
   Link: https://arxiv.org/abs/2609.29173
   Video see-through extended reality (VST XR) systems commonly use headset screenshots or captured frames as proxies for the user's first-person visual context.
3. Who Holds the Pen? Let Specifications, Not Agents, Sign Off
   Source: cs.MA (Multiagent Systems)
   Link: https://arxiv.org/abs/2609.29921
   Large language model agents increasingly combine generation, decision-making, execution, and self-evaluation within a single agentic loop.
4. FlowAtom: Atom-Based Evidence Aggregation for Multi-Label Website Fingerprinting
   Source: cs.NI (Networking and Internet Architecture)
   Link: https://arxiv.org/abs/2609.29330
   Identifying the set of monitored websites in mixed encrypted traffic is challenging because an individual flow often provides only partial evidence of website identity.
5. Monitoring Urban Traffic Dynamics at Fine Spatiotemporal Resolution Using Distributed Acoustic Sensing and Deep Learning
   Source: cs.LG (Machine Learning)
   Link: https://arxiv.org/abs/2609.28793
   Mapping the distribution of traffic dynamics at high spatiotemporal resolution is a fundamental question in transportation research.
6. SALI: Shot-Aware Late Interaction for Cross-Shot Relation Matching in Text-to-Video Retrieval using Film-Grammar Knowledge
   Source: cs.IR (Information Retrieval)
   Link: https://arxiv.org/abs/2609.29721
   Text-to-video retrieval usually represents a video clip by a single embedding.
7. A fully parallel densely connected probabilistic Ising machine with inertia for real-time applications
   Source: cs.ET (Emerging Technologies)
   Link: https://arxiv.org/abs/2604.17109
   Ising machines---special-purpose hardware for heuristically solving Ising optimization problems---based on probabilistic bits (p-bits) have been established as a promising alternative to heuristic optimization algorithms run on conventional computers.
8. Asymptotic optimality of dynamic first-fit packing on the half-axis
   Source: cs.DS (Data Structures and Algorithms)
   Link: https://arxiv.org/abs/2404.03797
   We revisit a classical problem in dynamic storage allocation.
9. A Block Decomposed QUBO Workflow for Chromosome-Y Phylogeny Reconstruction
   Source: cs.DC (Distributed, Parallel, and Cluster Computing)
   Link: https://arxiv.org/abs/2609.29856
   This paper sets out a computational workflow that reconstructs the phylogeny of human Y-chromosome populations from a Variant Call Format (VCF) file of biallelic Single Nucleotide Polymorphisms (SNP).
10. Mapping the Authorized Boundary: A Comparative Policy-Vignette Study of Generative AI Governance in Australian Higher Education
   Source: cs.CY (Computers and Society)
   Link: https://arxiv.org/abs/2609.29689
   Australian universities regulate students' use of generative artificial intelligence (GenAI) through overlapping policies, procedures, guidance, and assessment instructions, but these environments may classify identical conduct differently.
11. ViRDM: Taming Representation Distribution Matching for Few-Step Causal Video Generation
   Source: cs.CV (Computer Vision and Pattern Recognition)
   Link: https://arxiv.org/abs/2609.28923
   Few-step autoregressive (AR) video diffusion enables low-latency streaming generation, but existing post-training methods predominantly rely on Distribution Matching Distillation (DMD), requiring both a large pretrained teacher and an online critic to estimate distributional discrepancies through diffusion scores.
12. Enhancing Word-Level Property Directed Reachability with LLM-Driven Semantic Guidance
   Source: cs.AR (Hardware Architecture)
   Link: https://arxiv.org/abs/2609.30131
   Property Directed Reachability (PDR) is a prominent algorithm for hardware formal verification.
13. Reasoning Instructions Can Break Answer Decoding in Vision--Language Models
   Source: cs.CL (Computation and Language)
   Link: https://arxiv.org/abs/2609.29278
   Chain-of-thought (CoT) instructions can distort multiple-choice VLM evaluation when a scorer appends a reasoning cue but reads answer-label logits before the model generates any rationale.
14. Universal Fractal Natural Language Decision Map: Real-Time Edge Triage Across Heterogeneous Domains
   Source: cs.NE (Neural and Evolutionary Computing)
   Link: https://arxiv.org/abs/2609.25498
   Deploying Large Language Models for runtime operational triage incurs prohibitive latency (>100-500 ms), high VRAM requirements (>4-8 GB), and excessive energy dissipation.
15. Band-Attention Modulation Network for Robust Face Forgery Detection
   Source: cs.MM (Multimedia)
   Link: https://arxiv.org/abs/2404.06022
   Face forgery detection faces critical challenges in generalizing to unseen manipulation techniques and remaining robust under image compression, which often obscures subtle artifacts.
16. Exponential Correlation Bounds for Polynomials
   Source: cs.CC (Computational Complexity)
   Link: https://arxiv.org/abs/2609.28839
   We prove that the XOR of $k$ majorities on disjoint blocks of \(\ell\) bits has correlation at most \((2d/\sqrt{\ell})^k\) with every degree-\(d\) polynomial over \(\mathbb F_2\).
17. Long-horizon autoformalization of a core theorem underlying MIP* = RE
   Source: cs.LO (Logic in Computer Science)
   Link: https://arxiv.org/abs/2609.19814
   Landmark mathematical formalizations have taken specialist teams years to complete.
18. Learning the Cost of Reliable Inference
   Source: cs.GT (Computer Science and Game Theory)
   Link: https://arxiv.org/abs/2609.28322
   Benchmarking and routing platforms increasingly act as intermediaries connecting large language model providers with end-users.
19. VISTA: Video-Injected Stylized Text-to-Animation
   Source: cs.GR (Graphics)
   Link: https://arxiv.org/abs/2609.23817
   We present VISTA, a two-stage framework for generating stylized 3D human motion by fusing structural content from text prompts with expressive style from reference videos, without requiring jointly paired (text, video, stylized motion) triplets.
20. Don't Read the Log: Execution Traces Contaminate Verifiers in Video-Generation Agents
   Source: cs.CR (Cryptography and Security)
   Link: https://arxiv.org/abs/2609.28564
   Agentic video-generation systems close a loop between a generator and a verifier: an LLM plans shots, calls a text-to-video model, and a multimodal judge decides whether the result satisfies the request.
21. A Proof of the Imbalance Conjecture
   Source: cs.DM (Discrete Mathematics)
   Link: https://arxiv.org/abs/2608.09191
   For an edge $uv$ of a finite simple graph $G$, its imbalance is $|d_G(u)-d_G(v)|$, and the imbalance multiset $M_G$ consists of the imbalances of all edges of $G$.
22. Generating Interesting Scientific Ideas using Knowledge Graphs and LLMs: Evaluations with 100 Research Group Leaders
   Source: cs.DL (Digital Libraries)
   Link: https://arxiv.org/abs/2405.17044
   The rapid growth of scientific literature makes it increasingly challenging for researchers to identify novel and impactful ideas, especially across disciplines.
23. WebArxiv: A Reproducible Benchmark for Evaluating Multimodal Web Agents on arXiv Tasks
   Source: cs.DB (Databases)
   Link: https://arxiv.org/abs/2507.00938
   Foundation models now enable autonomous agents to interact with real-world websites, but existing benchmarks emphasize general-purpose browsing, underrepresent research-oriented environments and scholarly discovery workflows, and often depend on live sites whose changing content and structure undermine reproducibility.
24. It's the Geometry, Not the Model: Effective Rank and Subspace Alignment in Functional Connectivity Classification
   Source: cs.CG (Computational Geometry)
   Link: https://arxiv.org/abs/2609.29932
   Resting-state functional connectivity (FC) is widely used to classify brain phenotypes and disorders.
25. The Vulnerability of Neural Audio Watermarks under Speech Enhancement
   Source: cs.SD (Sound)
   Link: https://arxiv.org/abs/2609.29040
   Neural audio watermarks are increasingly deployed in commercial speech generation systems to make AI-generated speech traceable, yet their robustness has been studied mainly under conventional signal distortions.
26. Pretraining and adapting a language model on a dependency-free stack: GPT-2 124M from random weights, reproduced against llm.
   Source: cs.SE (Software Engineering)
   Link: https://arxiv.org/abs/2609.28568
   Almost every language model in service was trained by one family of software.
27. The Conversation Turns First: Crowd Discussion and Price Reversals in Prediction Markets
   Source: cs.SI (Social and Information Networks)
   Link: https://arxiv.org/abs/2609.28965
   Prediction markets combine trading with public discussion of the same events.
28. Multivariable Newton-Based Extremum Seeking with Bounded Update Rates
   Source: cs.SY (Systems and Control)
   Link: https://arxiv.org/abs/2609.28728
   We propose a multivariable Newton-based extremum seeking scheme, incorporating known bounds on update rates.
29. Echo in the Steps: Learning Perceptive Humanoid Parkour with Gated Memory
   Source: cs.RO (Robotics)
   Link: https://arxiv.org/abs/2609.28960
   While recent advances in perceptive locomotion have enabled humanoid robots to traverse structured terrains, agile parkour in highly discontinuous environments remains an open challenge.
30. Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
   Source: cs.PL (Programming Languages)
   Link: https://arxiv.org/abs/2510.05376
   Zero-Knowledge Ethereum Virtual Machines (zkEVMs) face an inherent tension.
31. How Weight Encoding Affects Language Model Placement and Performance on the Apple Neural Engine
   Source: cs.PF (Performance)
   Link: https://arxiv.org/abs/2608.22110
   Weight compression can alter accelerator placement as well as memory traffic, complicating the interpretation of inference speedups.

Sources in this brief: cs.AI (Artificial Intelligence); cs.AR (Hardware Architecture); cs.CC (Computational Complexity); cs.CG (Computational Geometry); cs.CL (Computation and Language); cs.CR (Cryptography and Security); cs.CV (Computer Vision and Pattern Recognition); cs.CY (Computers and Society); cs.DB (Databases); cs.DC (Distributed, Parallel, and Cluster Computing); cs.DL (Digital Libraries); cs.DM (Discrete Mathematics); cs.DS (Data Structures and Algorithms); cs.ET (Emerging Technologies); cs.GR (Graphics); cs.GT (Computer Science and Game Theory); cs.HC (Human-Computer Interaction); cs.IR (Information Retrieval); cs.LG (Machine Learning); cs.LO (Logic in Computer Science); cs.MA (Multiagent Systems); cs.MM (Multimedia); cs.NE (Neural and Evolutionary Computing); cs.NI (Networking and Internet Architecture); cs.PF (Performance); cs.PL (Programming Languages); cs.RO (Robotics); cs.SD (Sound); cs.SE (Software Engineering); cs.SI (Social and Information Networks); cs.SY (Systems and Control).
Selected 31 of 368 available items for this weekly brief.