Computer Science

Authors and titles for Dec 2025, skipping first 65

[66]  arXiv:2512.00079 [pdf, ps, other]

Title: InF-ATPG: Intelligent FFR-Driven ATPG with Advanced Circuit Representation Guided Reinforcement Learning

Authors: Bin Sun, Rengang Zhang, Zhiteng Chao, Zizhen Liu, Jianan Mu, Jing Ye, Huawei Li

Comments: 9 pages,6 figures

Subjects: Hardware Architecture (cs.AR); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[67]  arXiv:2512.00080 [pdf, ps, other]

Title: Conceptual Evaluation of Deep Visual Stereo Odometry for the MARWIN Radiation Monitoring Robot in Accelerator Tunnels

Authors: André Dehne, Juri Zach, Peer Stelldinger

Subjects: Computer Vision and Pattern Recognition (cs.CV); Robotics (cs.RO)

[68]  arXiv:2512.00081 [pdf, ps, other]

Title: Strong Normalization for the Safe Fragment of a Minimal Rewrite System: A Triple-Lexicographic Proof and a Conjecture on the Unprovability of Full Termination for Any Relational Operator-Only TRS

Authors: Moses Rahnama

Comments: 12 pages, formally verified theorems in a proof assistant

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[69]  arXiv:2512.00082 [pdf, ps, other]

Title: Exploring Diagnostic Prompting Approach for Multimodal LLM-based Visual Complexity Assessment: A Case Study of Amazon Search Result Pages

Authors: Divendar Murtadak, Yoon Kim, Trilokya Akula

Comments: 9 pages, 4 figures, 9 tables. Study on diagnostic prompting for multimodal LLM-based visual complexity assessment of Amazon search result pages

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[70]  arXiv:2512.00083 [pdf, ps, other]

Title: LLaMCAT: Optimizing Large Language Model Inference with Cache Arbitration and Throttling

Authors: Zhongchun Zhou, Chengtao Lai, Wei Zhang

Comments: Accepted to ICPP 2025

Journal-ref: In Proceedings of 54th International Conference on Parallel Processing (ICPP 2025)

Subjects: Hardware Architecture (cs.AR); Distributed, Parallel, and Cluster Computing (cs.DC)