Computer Science

Authors and titles for Dec 2025, skipping first 2490

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