cs updates on arXiv.org · Scour

Security-First Evaluation of Text-to-Terraform: Benchmarking LLMs and SLMs for Secure IaC Generation

A Human-in-the-Loop Deep Learning Framework for Color Reconstruction of Lenticular Films

Learning Molecular Representations from Cellular Phenotypes with Structure Preservation

PRWeaver: Evaluating LLM-Based Code Auditors against Long-Horizon Malicious Pull Requests

$S^3$: Improving Agent Safety through Multi-Stage Defense

GLOBE: Trajectory-Aligned Gradient Matching with Structured SparseOptimization for Coreset Selection

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

Log in to enable infinite scrolling