Computer Science

Authors and titles for Dec 2025, skipping first 2445

[2446]  arXiv:2512.05249 [pdf, ps, other]

Title: Low-Complexity OFDM Deep Neural Receivers

Authors: Ankit Gupta, Onur Dizdar, Yun Chen, Fehmi Emre Kadan, Ata Sattarzadeh, Stephen Wang

Subjects: Information Theory (cs.IT)

[2447]  arXiv:2512.05254 [pdf, ps, other]

Title: When unlearning is free: leveraging low influence points to reduce computational costs

Authors: Anat Kleiman, Robert Fisher, Ben Deaner, Udi Wieder

Subjects: Machine Learning (cs.LG)

[2448]  arXiv:2512.05256 [pdf, ps, other]

Title: Enhancing Clinical Note Generation with ICD-10, Clinical Ontology Knowledge Graphs, and Chain-of-Thought Prompting Using GPT-4

Authors: Ivan Makohon, Mohamad Najafi, Jian Wu, Mathias Brochhausen, Yaohang Li

Subjects: Computation and Language (cs.CL); Quantitative Methods (q-bio.QM)

[2449]  arXiv:2512.05257 [pdf, ps, other]

Title: Resolving Zadehs Paradox Axiomatic Possibility Theory as a Foundation for Reliable Artificial Intelligence

Authors: Bychkov Oleksii, Bychkova Sophia, Lytvynchuk Khrystyna

Comments: 9 pages

Subjects: Artificial Intelligence (cs.AI)

[2450]  arXiv:2512.05258 [pdf, ps, other]

Title: Calculation of Univariate Pade Approximants for solutions of the Michaelis-Menten equation with first order input using the Tau method

Authors: Gareth Hegarty

Comments: 17 pages; The first of 3 papers with applications in pharmacometrics

Subjects: Numerical Analysis (math.NA)

[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)