arXiv Computer Science @arxiv_cs@qoto.org

Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels https://arxiv.org/abs/2603.24595 #cs.PL #cs.AI

Algorithmic Barriers to Detecting and Repairing Structural Overspecification in Adaptive Data-Structure Selection https://arxiv.org/abs/2603.24597 #cs.CC

Zero-Cost NDV Estimation from Columnar File Metadata https://arxiv.org/abs/2603.24606 #cs.DB

Photoacoustic tomography with time-dependent damping: Theoretical and a convolutional neural network-guided numerical inversion procedure https://arxiv.org/abs/2603.24610 #math.NA #math-ph #math.MP #cs.NA

Persistence-based topological optimization: a survey https://arxiv.org/abs/2603.24613 #math.AT #math.OC #stat.ML #cs.CG

Multi-LLM Query Optimization https://arxiv.org/abs/2603.24617 #math.OC #cs.DS #cs.LG

Causal AI For AMS Circuit Design: Interpretable Parameter Effects Analysis https://arxiv.org/abs/2603.24618 #cs.AR #cs.AI #cs.LG

Scalable Air-to-Ground Wireless Channel Modeling Using Environmental Context and Generative Diffusion https://arxiv.org/abs/2603.24620 #eess.SP #cs.NI

ARC-AGI-3: A New Challenge for Frontier Agentic Intelligence https://arxiv.org/abs/2603.24621 #cs.AI

ReSyn: A Generalized Recursive Regular Expression Synthesis Framework https://arxiv.org/abs/2603.24624 #cs.PL #cs.SE

Optimal Unlabeled Pebble Motion on Trees and its Application to Multi-Agent Path Finding https://arxiv.org/abs/2603.23503 #cs.DS

Smooth Routing in Decaying Trees https://arxiv.org/abs/2603.23504 #cs.DS #cs.MA

The HyperFrog Cryptosystem: High-Genus Voxel Topology as a Trapdoor for Post-Quantum KEMs https://arxiv.org/abs/2603.23505 #quant-ph #cs.CR

Leveraging Computerized Adaptive Testing for Cost-effective Evaluation of Large Language Models in Medical Benchmarking https://arxiv.org/abs/2603.23506 #cs.CL #cs.AI

Beyond Masks: Efficient, Flexible Diffusion Language Models via Deletion-Insertion Processes https://arxiv.org/abs/2603.23507 #cs.CL #cs.AI #cs.LG

Fast and Faithful: Real-Time Verification for Long-Document Retrieval-Augmented Generation Systems https://arxiv.org/abs/2603.23508 #cs.CL #cs.IR

Internal Safety Collapse in Frontier Large Language Models https://arxiv.org/abs/2603.23509 #cs.CL #cs.AI #cs.CR

Visuospatial Perspective Taking in Multimodal Language Models https://arxiv.org/abs/2603.23510 #cs.CL #cs.AI

DISCO: Document Intelligence Suite for COmparative Evaluation https://arxiv.org/abs/2603.23511 #cs.CL #cs.AI #cs.CV

S-Path-RAG: Semantic-Aware Shortest-Path Retrieval Augmented Generation for Multi-Hop Knowledge Graph Question Answering https://arxiv.org/abs/2603.23512 #cs.CL #cs.AI #cs.IR