cs updates on arXiv.org

Evaluation Blindness: How Silent Measurement Failures Corrupt AI Systems from Training to Deployment

arXiv·

Separating Intelligence from Inference: A Standard for Edge-Native AI Computing

arXiv·

Wiring Beats Blending: What Transfers Between Transformer Sizes -- and What Doesn't

arXiv·

PixelUp: Zero-Shot Semantic Feature Upsampling for Fine-Grained Vision Tasks

arXiv·

Localize, Don't Beautify: Client-Side Control of Image-Editing APIs for Cosmetic Surgery Previews

arXiv·

Towards Automated Proof-Theoretic Semantics: Inference-Behaviour Semantics for 3-Dimensional K3 and LP

arXiv·

Toward Certified Functional Safety for Industrial Humanoid Robots: The Fail-Passive Gap and a Feasibility Study

arXiv·

Decidability of Parameterised Dolev-Yao Secrecy

arXiv·

Stateful Governance for Concurrent Agentic Systems

arXiv·

Space-Time Finite Element Approximation of Quasilinear Hyperbolic Equations Arising in Dynamic Strain-Limiting Elasticity

arXiv·

AI Sandbox: Technical Report

arXiv·

Test Time Adaptation Methods for Point Cloud Registration in Laparoscopic Surgery

arXiv·

Safety in Batches? Understanding and Mitigating Safety Failures in Batch Prompting

arXiv·

Instruction Stacking Collapse: A Benchmark and the Capability-Dependent Value of Prompt Compilation

arXiv·

Rethinking Self-Evolving Agent Skills: Feedback Dynamics over Multiple Rounds

arXiv·

Secure AI Watermarking Framework for IP Protection in Multi-Tenant Cloud Platforms

arXiv·

Can Training Logs Make Model Comparisons More Precise?

arXiv·

CUADebug: Diagnosing and Repairing Computer-Use Agent Failures

arXiv·

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation

Evaluation Blindness: How Silent Measurement Failures Corrupt AI Systems from Training to Deployment

Separating Intelligence from Inference: A Standard for Edge-Native AI Computing

Wiring Beats Blending: What Transfers Between Transformer Sizes -- and What Doesn't

PixelUp: Zero-Shot Semantic Feature Upsampling for Fine-Grained Vision Tasks

Localize, Don't Beautify: Client-Side Control of Image-Editing APIs for Cosmetic Surgery Previews

Towards Automated Proof-Theoretic Semantics: Inference-Behaviour Semantics for 3-Dimensional K3 and LP

Toward Certified Functional Safety for Industrial Humanoid Robots: The Fail-Passive Gap and a Feasibility Study

Decidability of Parameterised Dolev-Yao Secrecy

Stateful Governance for Concurrent Agentic Systems

Space-Time Finite Element Approximation of Quasilinear Hyperbolic Equations Arising in Dynamic Strain-Limiting Elasticity

AI Sandbox: Technical Report

Test Time Adaptation Methods for Point Cloud Registration in Laparoscopic Surgery

Safety in Batches? Understanding and Mitigating Safety Failures in Batch Prompting

Instruction Stacking Collapse: A Benchmark and the Capability-Dependent Value of Prompt Compilation

Rethinking Self-Evolving Agent Skills: Feedback Dynamics over Multiple Rounds

Secure AI Watermarking Framework for IP Protection in Multi-Tenant Cloud Platforms

Can Training Logs Make Model Comparisons More Precise?

CUADebug: Diagnosing and Repairing Computer-Use Agent Failures

Output-Aware Rotation for INT2 KV-Cache Quantization