We gratefully acknowledge support from
the Simons Foundation and member institutions.

Computer Science

Authors and titles for Dec 2025, skipping first 2450

[ total of 3040 entries: 1-25 | ... | 2376-2400 | 2401-2425 | 2426-2450 | 2451-2475 | 2476-2500 | 2501-2525 | 2526-2550 | ... | 3026-3040 ]
[ showing 25 entries per page: fewer | more ]
[2451]  arXiv:2512.05259 [pdf, ps, other]
Title: Age-Inclusive 3D Human Mesh Recovery for Action-Preserving Data Anonymization
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[2452]  arXiv:2512.05262 [pdf, ps, other]
Title: Verified VCG and Verified Compiler for Dafny
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
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
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
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
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
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
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
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
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
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
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
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
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
Subjects: Robotics (cs.RO)
[2469]  arXiv:2512.05304 [pdf, ps, other]
Title: Correlation of Rankings in Matching Markets
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
Comments: Submitted to TOSEM
Subjects: Software Engineering (cs.SE)
[2472]  arXiv:2512.05310 [pdf, ps, other]
Title: Systematically Evaluating Equivalent Purpose for Digital Maps
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?
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
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
Subjects: Information Theory (cs.IT); Probability (math.PR)
[ total of 3040 entries: 1-25 | ... | 2376-2400 | 2401-2425 | 2426-2450 | 2451-2475 | 2476-2500 | 2501-2525 | 2526-2550 | ... | 3026-3040 ]
[ showing 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2512, contact, help  (Access key information)