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)

[2476]  arXiv:2512.05318 [pdf, ps, other]

Title: To Think or Not to Think: The Hidden Cost of Meta-Training with Excessive CoT Examples

Authors: Vignesh Kothapalli, Ata Fatahibaarzi, Hamed Firooz, Maziar Sanjabi

Comments: 26 pages, 45 figures, 3 tables

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[2477]  arXiv:2512.05320 [pdf, ps, other]

Title: Enhancing Deep Deterministic Policy Gradients on Continuous Control Tasks with Decoupled Prioritized Experience Replay

Authors: Mehmet Efe Lorasdagi, Dogan Can Cicek, Furkan Burak Mutlu, Suleyman Serdar Kozat

Subjects: Machine Learning (cs.LG)

[2478]  arXiv:2512.05321 [pdf, ps, other]

Title: A Practical Honeypot-Based Threat Intelligence Framework for Cyber Defence in the Cloud

Authors: Darren Malvern Chin, Bilal Isfaq, Simon Yusuf Enoch

Comments: 6 pages

Subjects: Cryptography and Security (cs.CR)

[2479]  arXiv:2512.05323 [pdf, ps, other]

Title: Robustness Test for AI Forecasting of Hurricane Florence Using FourCastNetv2 and Random Perturbations of the Initial Condition

Authors: Adam Lizerbram, Shane Stevenson, Iman Khadir, Matthew Tu, Samuel S. P. Shen

Comments: 26 pages, 12 figures

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML); Other Statistics (stat.OT)

[2480]  arXiv:2512.05325 [pdf, ps, other]

Title: LYNX: Learning Dynamic Exits for Confidence-Controlled Reasoning

Authors: Ömer Faruk Akgül, Yusuf Hakan Kalaycı, Rajgopal Kannan, Willie Neiswanger, Viktor Prasanna

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[2481]  arXiv:2512.05327 [pdf, ps, other]

Title: Non-Convex Federated Optimization under Cost-Aware Client Selection

Authors: Xiaowen Jiang, Anton Rodomanov, Sebastian U. Stich

Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC)

[2482]  arXiv:2512.05331 [pdf, ps, other]

Title: Exposing Pink Slime Journalism: Linguistic Signatures and Robust Detection Against LLM-Generated Threats

Authors: Sadat Shahriar, Navid Ayoobi, Arjun Mukherjee, Mostafa Musharrat, Sai Vishnu Vamsi

Comments: Published in RANLP 2025

Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG)

[2483]  arXiv:2512.05334 [pdf, ps, other]

Title: The Effect of Document Summarization on LLM-Based Relevance Judgments

Authors: Samaneh Mohtadi, Kevin Roitero, Stefano Mizzaro, Gianluca Demartini

Subjects: Information Retrieval (cs.IR); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)

[2484]  arXiv:2512.05335 [pdf, ps, other]

Title: State-Conditional Adversarial Learning: An Off-Policy Visual Domain Transfer Method for End-to-End Imitation Learning

Authors: Yuxiang Liu, Shengfan Cao

Subjects: Robotics (cs.RO)

[2485]  arXiv:2512.05336 [pdf, ps, other]

Title: PathFinder: MCTS and LLM Feedback-based Path Selection for Multi-Hop Question Answering

Authors: Durga Prasad Maram, Kalpa Gunaratna, Vijay Srinivasan, Haris Jeelani, Srinivas Chappidi

Comments: 5 PAGES, 3 IMAGES

Subjects: Machine Learning (cs.LG)

[2486]  arXiv:2512.05338 [pdf, ps, other]

Title: Interaction Tensor Shap

Authors: Hiroki Hasegawa, Yukihiko Okada

Comments: 30 pages

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

[2487]  arXiv:2512.05339 [pdf, ps, other]

Title: Taxonomy-Adaptive Moderation Model with Robust Guardrails for Large Language Models

Authors: Mahesh Kumar Nandwana, Youngwan Lim, Joseph Liu, Alex Yang, Varun Notibala, Nishchaie Khanna

Comments: To be presented at AAAI-26 PerFM Workshop

Subjects: Machine Learning (cs.LG)

[2488]  arXiv:2512.05341 [pdf, ps, other]

Title: When Forgetting Builds Reliability: LLM Unlearning for Reliable Hardware Code Generation

Authors: Yiwen Liang, Qiufeng Li, Shikai Wang, Weidong Cao

Subjects: Machine Learning (cs.LG); Hardware Architecture (cs.AR)

[2489]  arXiv:2512.05342 [pdf, ps, other]

Title: First Demonstration of Second-order Training of Deep Neural Networks with In-memory Analog Matrix Computing

Authors: Saitao Zhang, Yubiao Luo, Shiqing Wang, Pushen Zuo, Yongxiang Li, Lunshuai Pan, Zheng Miao, Zhong Sun

Subjects: Emerging Technologies (cs.ET); Hardware Architecture (cs.AR); Neural and Evolutionary Computing (cs.NE)

[2490]  arXiv:2512.05343 [pdf, ps, other]

Title: SpaceControl: Introducing Test-Time Spatial Control to 3D Generative Modeling

Authors: Elisabetta Fedele, Francis Engelmann, Ian Huang, Or Litany, Marc Pollefeys, Leonidas Guibas

Comments: Project page: this https URL

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

[2491]  arXiv:2512.05348 [pdf, ps, other]

Title: Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems

Authors: Zhipeng Cao, Peixin Wang, Luke Ong, Đorđe Žikelić, Dominik Wagner, Bai Xue

Comments: 23pages, 5tables

Subjects: Systems and Control (eess.SY)

[2492]  arXiv:2512.05350 [pdf, ps, other]

Title: Invisible Load: Uncovering the Challenges of Neurodivergent Women in Software Engineering

Authors: Munazza Zaib, Wei Wang, Dulaji Hidellaarachchi, Isma Farah Siddiqui

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computers and Society (cs.CY)

[2493]  arXiv:2512.05354 [pdf, ps, other]

Title: SplatPainter: Interactive Authoring of 3D Gaussians from 2D Edits via Test-Time Training

Authors: Yang Zheng, Hao Tan, Kai Zhang, Peng Wang, Leonidas Guibas, Gordon Wetzstein, Wang Yifan

Comments: project page this https URL

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

[2494]  arXiv:2512.05356 [pdf, ps, other]

Title: AI & Human Co-Improvement for Safer Co-Superintelligence

Authors: Jason Weston, Jakob Foerster

Subjects: Artificial Intelligence (cs.AI)

[2495]  arXiv:2512.05358 [pdf, ps, other]

Title: BGPFuzz: Automated Configuration Fuzzing of the Border Gateway Protocol

Authors: Chenlu Zhang, Amirmohammad Pasdar, Van-Thuan Pham

Comments: 6 pages, 3 figures

Subjects: Software Engineering (cs.SE)

[2496]  arXiv:2512.05359 [pdf, ps, other]

Title: Group Orthogonal Low-Rank Adaptation for RGB-T Tracking

Authors: Zekai Shao, Yufan Hu, Jingyuan Liu, Bin Fan, Hongmin Liu

Comments: 13 pages, 8 figures. Accepted by AAAI 2026. Extended version

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

[2497]  arXiv:2512.05362 [pdf, ps, other]

Title: PoolNet: Deep Learning for 2D to 3D Video Process Validation

Authors: Sanchit Kaul, Joseph Luna, Shray Arora

Comments: All code related to this paper can be found at this https URL

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[2498]  arXiv:2512.05364 [pdf, ps, other]

Title: Transformer-Enabled Diachronic Analysis of Vedic Sanskrit: Neural Methods for Quantifying Types of Language Change

Authors: Ananth Hariharan, David Mortensen

Subjects: Computation and Language (cs.CL)

[2499]  arXiv:2512.05365 [pdf, ps, other]

Title: MCP-AI: Protocol-Driven Intelligence Framework for Autonomous Reasoning in Healthcare

Authors: Zag ElSayed, Craig Erickson, Ernest Pedapati

Comments: 6 pages, 4 figures

Journal-ref: IEEE ICMLA 2025

Subjects: Artificial Intelligence (cs.AI); Quantitative Methods (q-bio.QM)

[2500]  arXiv:2512.05367 [pdf, ps, other]

Title: Enhancing Dimensionality Prediction in Hybrid Metal Halides via Feature Engineering and Class-Imbalance Mitigation

Authors: Mariia Karabin, Isaac Armstrong, Leo Beck, Paulina Apanel, Markus Eisenbach, David B. Mitzi, Hanna Terletska, Hendrik Heinz

Subjects: Machine Learning (cs.LG)