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

Computer Science

Authors and titles for Dec 2025, skipping first 2450

[ total of 4461 entries: 1-10 | ... | 2421-2430 | 2431-2440 | 2441-2450 | 2451-2460 | 2461-2470 | 2471-2480 | 2481-2490 | ... | 4461 ]
[ showing 10 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)
[ total of 4461 entries: 1-10 | ... | 2421-2430 | 2431-2440 | 2441-2450 | 2451-2460 | 2461-2470 | 2471-2480 | 2481-2490 | ... | 4461 ]
[ showing 10 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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