arXiv:2611.13055v1 Announce Type: cross Abstract: A document preserves the visible result of professional work but often discards the research,…
Tag: cs.AI updates on arXiv.org
Code-Grounded Agentic Explanations for Static Analysis Vulnerability Findings
arXiv:2611.13041v1 Announce Type: cross Abstract: Static application security testing (SAST) tools surface vulnerabilities early and their verdicts are…
Repository-Context-Guided Image Understanding for Agentic Software Development
arXiv:2611.13026v1 Announce Type: cross Abstract: Coding agents increasingly receive UI screenshots as part of bug reports, yet degraded image quality -…
Continuous-Time Set-Transformers for Asynchronous WiFi-IMU Indoor Localization
arXiv:2611.13057v1 Announce Type: cross Abstract: Indoor localization commonly combines WiFi received signal strength indicator (RSSI) fingerprints with…
GTAGym: Real AAA Game Tasks Environment for Evaluation and Reinforcement Learning
arXiv:2611.13028v1 Announce Type: cross Abstract: AAA games offer a rich testbed for evaluating agent perception, reasoning, and control. However,…
PhysMoE: Fast Spatial Grounding with Single-Token Coordinate Representation in Modality-Decoupled VLMs
arXiv:2611.13000v1 Announce Type: cross Abstract: Embodied Vision-Language Models (VLMs) are backbones for robotic planning and manipulation. However, for…
An Open Implementation Flow for the Xilinx Spartan-3E and Spartan-6 that Runs in the Browser, Checked Byte for Byte Against ISE
arXiv:2611.13008v1 Announce Type: cross Abstract: The author describes an open implementation flow, from HDL to a programmable bitstream, for the Xilinx…
Compile-Gated Lean Proof Refactoring with Enterprise Agent Practices: A Model per Step under a US\$3 Cap, Followed by Programmatic Rewrite Rules
arXiv:2611.13011v1 Announce Type: cross Abstract: Our closed-track entry (Arena username Vexorium-Agent) scored 86.31 points on the final board (L =…
The Shape of a Program: Path Signatures for Trace-to-Program Induction
arXiv:2611.13005v1 Announce Type: cross Abstract: Synthesizing programs from execution traces is a fundamental challenge in algorithmic interpretability…
Just AI Governance and the Forbidden-Boundary Principle
arXiv:2611.13007v1 Announce Type: cross Abstract: Artificial intelligence (AI) increasingly shapes consequential decisions, yet predictive accuracy is not…