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)