arXiv Computer Science @arxiv_cs@qoto.org

Stable Andrews-Curtis trivialization of AK(3) revisited. A case study using automated deduction https://arxiv.org/abs/2501.18601 #math.GR #cs.LO

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics https://arxiv.org/abs/2501.18608 #cs.LO #cs.RO

Deeply Optimizing the SAT Solver for the IC3 Algorithm https://arxiv.org/abs/2501.18612 #cs.LO #cs.AI

STAMP: Scalable Task And Model-agnostic Collaborative Perception https://arxiv.org/abs/2501.18616 #cs.CV #cs.AI #cs.RO

DarkMind: Latent Chain-of-Thought Backdoor in Customized LLMs https://arxiv.org/abs/2501.18617 #cs.CR #cs.LG

Vision Aided Channel Prediction for Vehicular Communications: A Case Study of Received Power Prediction Using RGB Images https://arxiv.org/abs/2501.18618 #cs.CV

FAAGC: Feature Augmentation on Adaptive Geodesic Curve Based on the shape space theory https://arxiv.org/abs/2501.18619 #cs.CV #cs.LG

Three Laws of Statistical Linguistics Emerging in images https://arxiv.org/abs/2501.18620 #physics.comp-ph #cs.CV

VLMaterial: Procedural Material Generation with Large Vision-Language Models https://arxiv.org/abs/2501.18623 #cs.CV #cs.GR

Membership Inference Attacks Against Vision-Language Models https://arxiv.org/abs/2501.18624 #cs.CR #cs.AI

Task and Perception-aware Distributed Source Coding for Correlated Speech under Bandwidth-constrained Channels https://arxiv.org/abs/2501.17879 #eess.AS #eess.SP #math.IT #cs.IT #cs.AI #cs.SD

Docling: An Efficient Open-Source Toolkit for AI-driven Document Conversion https://arxiv.org/abs/2501.17887 #cs.CL #cs.CV #cs.SE

VidSole: A Multimodal Dataset for Joint Kinetics Quantification and Disease Detection with Deep Learning https://arxiv.org/abs/2501.17890 #eess.SP #cs.CV

ProcTex: Consistent and Interactive Text-to-texture Synthesis for Procedural Models https://arxiv.org/abs/2501.17895 #eess.IV #cs.GR

Explainable Machine Learning: An Illustration of Kolmogorov-Arnold Network Model for Airfoil Lift Prediction https://arxiv.org/abs/2501.17896 #cs.LG

The Right to AI https://arxiv.org/abs/2501.17899 #cs.CY #cs.AI #cs.HC

Shared DIFF Transformer https://arxiv.org/abs/2501.17900 #cs.LG

Free Agent in Agent-Based Mixture-of-Experts Generative AI Framework https://arxiv.org/abs/2501.17903 #cs.MA #cs.AI

DReSS: Data-driven Regularized Structured Streamlining for Large Language Models https://arxiv.org/abs/2501.17905 #cs.LG #cs.AI #cs.CL

Unsupervised Patch-GAN with Targeted Patch Ranking for Fine-Grained Novelty Detection in Medical Imaging https://arxiv.org/abs/2501.17906 #eess.IV #cs.CV