cs updates on arXiv.org

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

arXiv·

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

arXiv·

Learning Molecular Representations from Cellular Phenotypes with Structure Preservation

arXiv·

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

arXiv·

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

arXiv·

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

arXiv·

IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization Autoformulation

arXiv·

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·

Biconvex Optimization for Smooth Minimum-Time Trajectories around Convex Obstacles

Neural network realization of binary refinement iterates via a two-chart atlas selector

Studying Developer Perceptions on the Potential of CI Recommendation Systems

Configurable and Hierarchical Allreduce

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