Computer Science

Authors and titles for Dec 2025, skipping first 2450

[2451]  arXiv:2512.05259 [pdf, ps, other]

Title: Age-Inclusive 3D Human Mesh Recovery for Action-Preserving Data Anonymization

Authors: Georgios Chatzichristodoulou, Niki Efthymiou, Panagiotis Filntisis, Georgios Pavlakos, Petros Maragos

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[2452]  arXiv:2512.05262 [pdf, ps, other]

Title: Verified VCG and Verified Compiler for Dafny

Authors: Daniel Nezamabadi, Magnus O. Myreen, Yong Kiam Tan

Comments: 16 pages, 4 figures. To be published in CPP 2026. For mechanization, see this https URL

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[2453]  arXiv:2512.05267 [pdf, ps, other]

Title: Uncertainty-Aware Data-Efficient AI: An Information-Theoretic Perspective

Authors: Osvaldo Simeone, Yaniv Romano

Subjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[2454]  arXiv:2512.05268 [pdf, ps, other]

Title: CARD: Correlation Aware Restoration with Diffusion

Authors: Niki Nezakati, Arnab Ghosh, Amit Roy-Chowdhury, Vishwanath Saragadam

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[2455]  arXiv:2512.05270 [pdf, ps, other]

Title: XR-DT: Extended Reality-Enhanced Digital Twin for Agentic Mobile Robots

Authors: Tianyi Wang, Jiseop Byeon, Ahmad Yehia, Huihai Wang, Yiming Xu, Tianyi Zeng, Ziran Wang, Junfeng Jiao, Christian Claudel

Comments: 10 pages, 5 figures

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Multiagent Systems (cs.MA); Systems and Control (eess.SY)

[2456]  arXiv:2512.05271 [pdf, ps, other]

Title: Robust forecast aggregation via additional queries

Authors: Rafael Frongillo, Mary Monroe, Eric Neyman, Bo Waggoner

Subjects: Computer Science and Game Theory (cs.GT); Machine Learning (cs.LG)

[2457]  arXiv:2512.05272 [pdf, ps, other]

Title: Inferring Compositional 4D Scenes without Ever Seeing One

Authors: Ahmet Berke Gokmen, Ajad Chhatkuli, Luc Van Gool, Danda Pani Paudel

Comments: Project page: this https URL

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[2458]  arXiv:2512.05277 [pdf, ps, other]

Title: From Segments to Scenes: Temporal Understanding in Autonomous Driving via Vision-Language Model

Authors: Kevin Cannons, Saeed Ranjbar Alvar, Mohammad Asiful Hossain, Ahmad Rezaei, Mohsen Gholami, Alireza Heidarikhazaei, Zhou Weimin, Yong Zhang, Mohammad Akbari

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)

[2459]  arXiv:2512.05278 [pdf, ps, other]

Title: Stability analysis of very high order minimization-based and Taylor-based embedded boundary treatments of discontinuous Galerkin for hyperbolic equations

Authors: Mirco Ciallella

Subjects: Numerical Analysis (math.NA)

[2460]  arXiv:2512.05286 [pdf, ps, other]

Title: Randomized Algorithms for Low-Rank Matrix and Tensor Decompositions

Authors: Katherine J. Pearce, Per-Gunnar Martinsson

Subjects: Numerical Analysis (math.NA)

[2461]  arXiv:2512.05287 [pdf, ps, other]

Title: DMAGT: Unveiling miRNA-Drug Associations by Integrating SMILES and RNA Sequence Structures through Graph Transformer Models

Authors: Ziqi Zhang

Comments: 9 pages, 4 figures

Subjects: Machine Learning (cs.LG)

[2462]  arXiv:2512.05288 [pdf, ps, other]

Title: Beyond Detection: A Comprehensive Benchmark and Study on Representation Learning for Fine-Grained Webshell Family Classification

Authors: Feijiang Han

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[2463]  arXiv:2512.05291 [pdf, ps, other]

Title: Bridging Interpretability and Optimization: Provably Attribution-Weighted Actor-Critic in Reproducing Kernel Hilbert Spaces

Authors: Na Li, Hangguan Shan, Wei Ni, Wenjie Zhang, Xinyu Li

Subjects: Machine Learning (cs.LG)

[2464]  arXiv:2512.05292 [pdf, ps, other]

Title: Disturbance Compensation for Safe Kinematic Control of Robotic Systems with Closed Architecture

Authors: Fan Zhang, Jinfeng Chen, Joseph J. B. Mvogo Ahanda, Hanz Richter, Ge Lv, Bin Hu, Qin Lin

Subjects: Robotics (cs.RO); Systems and Control (eess.SY)

[2465]  arXiv:2512.05297 [pdf, ps, other]

Title: CFO: Learning Continuous-Time PDE Dynamics via Flow-Matched Neural Operators

Authors: Xianglong Hou, Xinquan Huang, Paris Perdikaris

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Numerical Analysis (math.NA)

[2466]  arXiv:2512.05299 [pdf, ps, other]

Title: ARCAS: An Augmented Reality Collision Avoidance System with SLAM-Based Tracking for Enhancing VRU Safety

Authors: Ahmad Yehia, Jiseop Byeon, Tianyi Wang, Huihai Wang, Yiming Xu, Junfeng Jiao, Christian Claudel

Comments: 8 pages, 3 figures, 1 table

Subjects: Systems and Control (eess.SY); Hardware Architecture (cs.AR); Computer Vision and Pattern Recognition (cs.CV); Emerging Technologies (cs.ET); Robotics (cs.RO); Image and Video Processing (eess.IV)

[2467]  arXiv:2512.05300 [pdf, ps, other]

Title: Crude Approximation of Directed Minimum Cut and Arborescence Packing in Almost Linear Time

Authors: Yonggang Jiang, Yaowei Long, Thatchaphol Saranurak, Benyu Wang

Subjects: Data Structures and Algorithms (cs.DS)

[2468]  arXiv:2512.05303 [pdf, ps, other]

Title: Seabed-to-Sky Mapping of Maritime Environments with a Dual Orthogonal SONAR and LiDAR Sensor Suite

Authors: Christian Westerdahl, Jonas Poulsen, Daniel Holmelund, Peter Nicholas Hansen, Fletcher Thompson, Roberto Galeazzi

Subjects: Robotics (cs.RO)

[2469]  arXiv:2512.05304 [pdf, ps, other]

Title: Correlation of Rankings in Matching Markets

Authors: Rémi Castera, Patrick Loiseau, Bary S.R. Pradelski

Comments: Management Science (2025)

Subjects: Computer Science and Game Theory (cs.GT); Physics and Society (physics.soc-ph)

[2470]  arXiv:2512.05306 [pdf, ps, other]

Title: Uncertainty Quantification for Scientific Machine Learning using Sparse Variational Gaussian Process Kolmogorov-Arnold Networks (SVGP KAN)

Authors: Y. Sungtaek Ju

Comments: 20 pages, 3 figures

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[2471]  arXiv:2512.05309 [pdf, ps, other]

Title: Engagement in Code Review: Emotional, Behavioral, and Cognitive Dimensions in Peer vs. LLM Interactions

Authors: Adam Alami, Nathan Cassee, Thiago Rocha Silva, Elda Paja, Neil A. Ernst

Comments: Submitted to TOSEM

Subjects: Software Engineering (cs.SE)

[2472]  arXiv:2512.05310 [pdf, ps, other]

Title: Systematically Evaluating Equivalent Purpose for Digital Maps

Authors: Brandon Biggs, David Sloan, Brett Oppegaard, Nicholas A. Giudice, James M. Coughlan, Bruce N. Walker

Comments: In press at Journal on Technology and Persons with Disabilities, volume 14

Subjects: Human-Computer Interaction (cs.HC)

[2473]  arXiv:2512.05311 [pdf, ps, other]

Title: The Erosion of LLM Signatures: Can We Still Distinguish Human and LLM-Generated Scientific Ideas After Iterative Paraphrasing?

Authors: Sadat Shahriar, Navid Ayoobi, Arjun Mukherjee

Comments: Published in RANLP 2025

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)

[2474]  arXiv:2512.05314 [pdf, ps, other]

Title: WhatsCode: Large-Scale GenAI Deployment for Developer Efficiency at WhatsApp

Authors: Ke Mao, Timotej Kapus, Cons T Åhs, Matteo Marescotti, Daniel Ip, Ákos Hajdu, Sopot Cela, Aparup Banerjee

Comments: 11 pages, 4 figures, 48th International Conference on Software Engineering: Software Engineering in Practice

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[2475]  arXiv:2512.05316 [pdf, ps, other]

Title: Foundations of information theory for coding theory

Authors: El Mahdi Mouloua, Essaid Mohamed

Subjects: Information Theory (cs.IT); Probability (math.PR)