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)