Computer Science

Authors and titles for recent submissions, skipping first 1077

• Thu, 11 Dec 2025
• Wed, 10 Dec 2025
• Tue, 9 Dec 2025
• Mon, 8 Dec 2025
• Fri, 5 Dec 2025

Tue, 9 Dec 2025 (continued, showing 50 of 925 entries)

[1078]  arXiv:2512.07542 [pdf, ps, other]

Title: RRAEDy: Adaptive Latent Linearization of Nonlinear Dynamical Systems

Authors: Jad Mounayer, Sebastian Rodriguez, Jerome Tomezyk, Chady Ghnatios, Francisco Chinesta

Subjects: Machine Learning (cs.LG)

[1079]  arXiv:2512.07540 [pdf, ps, other]

Title: Minimum Bayes Risk Decoding for Error Span Detection in Reference-Free Automatic Machine Translation Evaluation

Authors: Boxuan Lyu, Haiyue Song, Hidetaka Kamigaito, Chenchen Ding, Hideki Tanaka, Masao Utiyama, Kotaro Funakoshi, Manabu Okumura

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[1080]  arXiv:2512.07539 [pdf, ps, other]

Title: FRWKV:Frequency-Domain Linear Attention for Long-Term Time Series Forecasting

Authors: Qingyuan Yang, Shizhuo Deng, Dongyue Chen, Da Teng, Zehua Gan

Subjects: Machine Learning (cs.LG)

[1081]  arXiv:2512.07538 [pdf, ps, other]

Title: SwissGov-RSD: A Human-annotated, Cross-lingual Benchmark for Token-level Recognition of Semantic Differences Between Related Documents

Authors: Michelle Wastl, Jannis Vamvas, Rico Sennrich

Comments: 30 pages

Subjects: Computation and Language (cs.CL)

[1082]  arXiv:2512.07536 [pdf, ps, other]

Title: Bandwidth-Aware Network Topology Optimization for Decentralized Learning

Authors: Yipeng Shen, Zehan Zhu, Yan Huang, Changzhi Yan, Cheng Zhuo, Jinming Xu

Comments: 13 pages

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[1083]  arXiv:2512.07533 [pdf, ps, other]

Title: VulnLLM-R: Specialized Reasoning LLM with Agent Scaffold for Vulnerability Detection

Authors: Yuzhou Nie, Hongwei Li, Chengquan Guo, Ruizhe Jiang, Zhun Wang, Bo Li, Dawn Song, Wenbo Guo

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI)

[1084]  arXiv:2512.07528 [pdf, ps, other]

Title: Model-Based Reinforcement Learning Under Confounding

Authors: Nishanth Venkatesh, Andreas A. Malikopoulos

Comments: 9 pages, 2 figures - decompressed draft

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

[1085]  arXiv:2512.07527 [pdf, ps, other]

Title: From Orbit to Ground: Generative City Photogrammetry from Extreme Off-Nadir Satellite Images

Authors: Fei Yu, Yu Liu, Luyang Tang, Mingchao Sun, Zengye Ge, Rui Bu, Yuchao Jin, Haisen Zhao, He Sun, Yangyan Li, Mu Xu, Wenzheng Chen, Baoquan Chen

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

[1086]  arXiv:2512.07525 [pdf, ps, other]

Title: Beyond Real: Imaginary Extension of Rotary Position Embeddings for Long-Context LLMs

Authors: Xiaoran Liu, Yuerong Song, Zhigeng Liu, Zengfeng Huang, Qipeng Guo, Zhaoxiang Liu, Shiguo Lian, Ziwei He, Xipeng Qiu

Comments: 20 pages, 6 figures, under review

Subjects: Computation and Language (cs.CL)

[1087]  arXiv:2512.07524 [pdf, ps, other]

Title: A linear MARS method for three-dimensional interface tracking

Authors: Yunhao Qiu, Qinghai Zhang

Subjects: Numerical Analysis (math.NA)

[1088]  arXiv:2512.07522 [pdf, ps, other]

Title: LIME: Making LLM Data More Efficient with Linguistic Metadata Embeddings

Authors: Sebastian Sztwiertnia, Felix Friedrich, Kristian Kersting, Patrick Schramowski, Björn Deiseroth

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[1089]  arXiv:2512.07520 [pdf, ps, other]

Title: aLEAKator: HDL Mixed-Domain Simulation for Masked Hardware \& Software Formal Verification

Authors: Noé Amiot (ALSOC), Quentin L. Meunier (ALSOC), Karine Heydemann (ALSOC), Emmanuelle Encrenaz (ALSOC)

Subjects: Hardware Architecture (cs.AR); Cryptography and Security (cs.CR); Symbolic Computation (cs.SC)

[1090]  arXiv:2512.07519 [pdf, ps, other]

Title: Machine Learning: Progress and Prospects

Authors: Alexander Gammerman

Comments: Inaugural Lecture. 18 pages, 13 figures, Published in 1997 by Royal Holloway, University of London, ISBN 0 900145 93 5

Subjects: Machine Learning (cs.LG)

[1091]  arXiv:2512.07515 [pdf, ps, other]

Title: SPAD: Seven-Source Token Probability Attribution with Syntactic Aggregation for Detecting Hallucinations in RAG

Authors: Pengqian Lu, Jie Lu, Anjin Liu, Guangquan Zhang

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[1092]  arXiv:2512.07514 [pdf, ps, other]

Title: MeshRipple: Structured Autoregressive Generation of Artist-Meshes

Authors: Junkai Lin, Hang Long, Huipeng Guo, Jielei Zhang, JiaYi Yang, Tianle Guo, Yang Yang, Jianwen Li, Wenxiao Zhang, Matthias Nießner, Wei Yang

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

[1093]  arXiv:2512.07511 [pdf, ps, other]

Title: Canonical bidirectional typechecking

Authors: Zanzi Mihejevs, Jules Hedges

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[1094]  arXiv:2512.07509 [pdf, ps, other]

Title: Exploring possible vector systems for faster training of neural networks with preconfigured latent spaces

Authors: Nikita Gabdullin

Comments: 9 pages, 5 figures, 1 table, 4 equations

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV)

[1095]  arXiv:2512.07507 [pdf, ps, other]

Title: VP-AutoTest: A Virtual-Physical Fusion Autonomous Driving Testing Platform

Authors: Yiming Cui, Shiyu Fang, Jiarui Zhang, Yan Huang, Chengkai Xu, Bing Zhu, Hao Zhang, Peng Hang, Jian Sun

Subjects: Robotics (cs.RO); Software Engineering (cs.SE)

[1096]  arXiv:2512.07506 [pdf, ps, other]

Title: Control of Discrete-Time Linear Systems with Charge-Balanced Inputs

Authors: Yuzhen Qin, Zonglin Liu, Marcel van Gerven

Comments: 6 pages, 4 figures, submitted to IFAC Congress 2026

Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)

[1097]  arXiv:2512.07504 [pdf, ps, other]

Title: ControlVP: Interactive Geometric Refinement of AI-Generated Images with Consistent Vanishing Points

Authors: Ryota Okumura, Kaede Shiohara, Toshihiko Yamasaki

Comments: Accepted to WACV 2026, 8 pages, supplementary included. Dataset and code: this https URL

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

[1098]  arXiv:2512.07503 [pdf, ps, other]

Title: SJD++: Improved Speculative Jacobi Decoding for Training-free Acceleration of Discrete Auto-regressive Text-to-Image Generation

Authors: Yao Teng, Zhihuan Jiang, Han Shi, Xian Liu, Xuefei Ning, Guohao Dai, Yu Wang, Zhenguo Li, Xihui Liu

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

[1099]  arXiv:2512.07501 [pdf, ps, other]

Title: AutoICE: Automatically Synthesizing Verifiable C Code via LLM-driven Evolution

Authors: Weilin Luo, Xueyi Liang, Haotian Deng, Yanan Liu, Hai Wan

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[1100]  arXiv:2512.07500 [pdf, ps, other]

Title: MultiMotion: Multi Subject Video Motion Transfer via Video Diffusion Transformer

Authors: Penghui Liu, Jiangshan Wang, Yutong Shen, Shanhui Mo, Chenyang Qi, Yue Ma

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

[1101]  arXiv:2512.07498 [pdf, ps, other]

Title: Towards Robust DeepFake Detection under Unstable Face Sequences: Adaptive Sparse Graph Embedding with Order-Free Representation and Explicit Laplacian Spectral Prior

Authors: Chih-Chung Hsu, Shao-Ning Chen, Chia-Ming Lee, Yi-Fang Wang, Yi-Shiuan Chou

Comments: 16 pages (including appendix)

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

[1102]  arXiv:2512.07497 [pdf, ps, other]

Title: How Do LLMs Fail In Agentic Scenarios? A Qualitative Analysis of Success and Failure Scenarios of Various LLMs in Agentic Simulations

Authors: JV Roig

Comments: 48 pages, 3 tables, 2 listings

Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[1103]  arXiv:2512.07495 [pdf, ps, other]

Title: Amulet: Fast TEE-Shielded Inference for On-Device Model Protection

Authors: Zikai Mao, Lingchen Zhao, Lei Xu, Wentao Dong, Shenyi Zhang, Cong Wang, Qian Wang

Subjects: Cryptography and Security (cs.CR)

[1104]  arXiv:2512.07490 [pdf, ps, other]

Title: Efficient Low-Tubal-Rank Tensor Estimation via Alternating Preconditioned Gradient Descent

Authors: Zhiyu Liu, Zhi Han, Yandong Tang, Jun Fan, Yao Wang

Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC)

[1105]  arXiv:2512.07487 [pdf, ps, other]

Title: Artificial Intelligence and Nuclear Weapons Proliferation: The Technological Arms Race for (In)visibility

Authors: David M. Allison, Stephen Herzog

Comments: Best Paper Award (2025) from Risk Analysis as one of the articles published in the journal that year with the most significant impacts to the theory or practice of risk analysis. Main text: 17 pages, 5 tables, 5 figures. Online appendix: 4 pages, 3 figures, 1 table. Online simulation tool for the formal model available here: this https URL

Journal-ref: Risk Analysis 45(11): 3839-3859 (2025)

Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Emerging Technologies (cs.ET)

[1106]  arXiv:2512.07486 [pdf, ps, other]

Title: Materium: An Autoregressive Approach for Material Generation

Authors: Niklas Dobberstein, Jan Hamaekers

Subjects: Machine Learning (cs.LG); Materials Science (cond-mat.mtrl-sci)

[1107]  arXiv:2512.07483 [pdf, ps, other]

Title: SemanticTours: A Conceptual Framework for Non-Linear, Knowledge Graph-Driven Data Tours

Authors: Daniel Fürst, Matthijs Jansen op de Haar, Mennatallah El-Assady, Daniel A Keim, Maximilian T. Fischer

Comments: 14 pages, 9 figures, 2 tables

Subjects: Human-Computer Interaction (cs.HC)

[1108]  arXiv:2512.07482 [pdf, ps, other]

Title: From Real-World Traffic Data to Relevant Critical Scenarios

Authors: Florian Lüttner, Nicole Neis, Daniel Stadler, Robin Moss, Mirjam Fehling-Kaschek, Matthias Pfriem, Alexander Stolz, Jens Ziehn

Comments: 8 pages, 8 figures

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI)

[1109]  arXiv:2512.07480 [pdf, ps, other]

Title: Single-step Diffusion-based Video Coding with Semantic-Temporal Guidance

Authors: Naifu Xue, Zhaoyang Jia, Jiahao Li, Bin Li, Zihan Zheng, Yuan Zhang, Yan Lu

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

[1110]  arXiv:2512.07478 [pdf, ps, other]

Title: Enhancing Agentic RL with Progressive Reward Shaping and Value-based Sampling Policy Optimization

Authors: Zhuoran Zhuang, Ye Chen, Jianghao Su, Chao Luo, Luhui Liu, Xia Zeng

Subjects: Computation and Language (cs.CL)

[1111]  arXiv:2512.07476 [pdf, ps, other]

Title: An Analysis of Decision Problems for Relational Pattern Languages under Various Constraints

Authors: Klaus Jansen, Dirk Nowotka, Lis Pirotton, Corinna Wambsganz, Max Wiedenhöft

Comments: 44 pages (incl. appendix and references), 5 tables

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Combinatorics (math.CO)

[1112]  arXiv:2512.07474 [pdf, ps, other]

Title: Living the Novel: A System for Generating Self-Training Timeline-Aware Conversational Agents from Novels

Authors: Yifei Huang, Tianyu Yan, Sitong Gong, Xiwei Gao, Caixin Kang, Ruicong Liu, Huchuan Lu, Bo Zheng

Subjects: Human-Computer Interaction (cs.HC); Computation and Language (cs.CL)

[1113]  arXiv:2512.07472 [pdf, ps, other]

Title: Affordance Field Intervention: Enabling VLAs to Escape Memory Traps in Robotic Manipulation

Authors: Siyu Xu, Zijian Wang, Yunke Wang, Chenghao Xia, Tao Huang, Chang Xu

Subjects: Robotics (cs.RO); Machine Learning (cs.LG)

[1114]  arXiv:2512.07469 [pdf, ps, other]

Title: Unified Video Editing with Temporal Reasoner

Authors: Xiangpeng Yang, Ji Xie, Yiyuan Yang, Yan Huang, Min Xu, Qiang Wu

Comments: Project Page: this https URL

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

[1115]  arXiv:2512.07464 [pdf, ps, other]

Title: Gait-Adaptive Perceptive Humanoid Locomotion with Real-Time Under-Base Terrain Reconstruction

Authors: Haolin Song, Hongbo Zhu, Tao Yu, Yan Liu, Mingqi Yuan, Wengang Zhou, Hua Chen, Houqiang Li

Subjects: Robotics (cs.RO)

[1116]  arXiv:2512.07463 [pdf, ps, other]

Title: Parallel Algorithms for Combined Regularized Support Vector Machines: Application in Music Genre Classification

Authors: Rongmei Liang, Zizheng Liu, Xiaofei Wu, Jingwen Tu

Subjects: Machine Learning (cs.LG); Applications (stat.AP); Computation (stat.CO)

[1117]  arXiv:2512.07462 [pdf, ps, other]

Title: Understanding LLM Agent Behaviours via Game Theory: Strategy Recognition, Biases and Multi-Agent Dynamics

Authors: Trung-Kiet Huynh, Duy-Minh Dao-Sy, Thanh-Bang Cao, Phong-Hao Le, Hong-Dan Nguyen, Phu-Quy Nguyen-Lam, Minh-Luan Nguyen-Vo, Hong-Phat Pham, Phu-Hoa Pham, Thien-Kim Than, Chi-Nguyen Tran, Huy Tran, Gia-Thoai Tran-Le, Alessio Buscemi, Le Hong Trang, The Anh Han

Subjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Machine Learning (cs.LG); Dynamical Systems (math.DS)

[1118]  arXiv:2512.07461 [pdf, ps, other]

Title: Native Parallel Reasoner: Reasoning in Parallelism via Self-Distilled Reinforcement Learning

Authors: Tong Wu, Yang Liu, Jun Bai, Zixia Jia, Shuyi Zhang, Ziyong Lin, Yanting Wang, Song-Chun Zhu, Zilong Zheng

Subjects: Computation and Language (cs.CL)

[1119]  arXiv:2512.07459 [pdf, ps, other]

Title: Human Geometry Distribution for 3D Animation Generation

Authors: Xiangjun Tang, Biao Zhang, Peter Wonka

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

[1120]  arXiv:2512.07454 [pdf, ps, other]

Title: Persian-Phi: Efficient Cross-Lingual Adaptation of Compact LLMs via Curriculum Learning

Authors: Amir Mohammad Akhlaghi, Amirhossein Shabani, Mostafa Abdolmaleki, Saeed Reza Kheradpisheh

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[1121]  arXiv:2512.07452 [pdf, ps, other]

Title: From Show Programmes to Data: Designing a Workflow to Make Performing Arts Ephemera Accessible Through Language Models

Authors: Clarisse Bardiot, Pierre-Carl Langlais, Bernard Jacquemin, Jacob Hart, Antonios Lagarias, Nicolas Foucault, Aurélie Lemaître-Legargeant, Jeanne Fras

Comments: 19 pages, 8 figures, 5 tables, 17 references

Subjects: Information Retrieval (cs.IR)

[1122]  arXiv:2512.07450 [pdf, ps, other]

Title: Forget and Explain: Transparent Verification of GNN Unlearning

Authors: Imran Ahsan (1), Hyunwook Yu (2), Jinsung Kim (2), Mucheol Kim (2) ((1) Department of Smart Cities, Chung-Ang University, (2) Department of Computer Science and Engineering, Chung-Ang University)

Comments: To appear in WSDM 2026 (ACM International Conference on Web Search and Data Mining). Code is available at this https URL

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

[1123]  arXiv:2512.07449 [pdf, ps, other]

Title: AFarePart: Accuracy-aware Fault-resilient Partitioner for DNN Edge Accelerators

Authors: Mukta Debnath (University of Calcutta, India), Krishnendu Guha (University College Cork, Ireland), Debasri Saha (University of Calcutta, India), Amlan Chakrabarti (University of Calcutta, India), Susmita Sur-Kolay (Indian Statistical Institute, India)

Comments: 6 pages, 4 figures, 2 tables

Subjects: Performance (cs.PF)

[1124]  arXiv:2512.07448 [pdf, ps, other]

Title: Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks

Authors: Ahan Basu, Mahathi Anand, Pushpak Jagtap

Subjects: Systems and Control (eess.SY)

[1125]  arXiv:2512.07437 [pdf, ps, other]

Title: KAN-Dreamer: Benchmarking Kolmogorov-Arnold Networks as Function Approximators in World Models

Authors: Chenwei Shi, Xueyu Luan

Comments: 23 pages, 8 figures, 3 tables

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Neural and Evolutionary Computing (cs.NE); Robotics (cs.RO)

[1126]  arXiv:2512.07436 [pdf, ps, other]

Title: LocalSearchBench: Benchmarking Agentic Search in Real-World Local Life Services

Authors: Hang He, Chuhuai Yue, Chengqi Dong, Mingxue Tian, Zhenfeng Liu, Jiajun Chai, Xiaohan Wang, Yufei Zhang, Qun Liao, Guojun Yin, Wei Lin, Chengcheng Wan, Haiying Sun, Ting Su

Subjects: Artificial Intelligence (cs.AI)

[1127]  arXiv:2512.07434 [pdf, ps, other]

Title: Systematic Evaluation of Black-Box Checking for Fast Bug Detection

Authors: Bram Pellen, María Belén Rodríguez, Frits Vaandrager, Petra van den Bos

Comments: 23 pages, 4 figures

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)

• Thu, 11 Dec 2025
• Wed, 10 Dec 2025
• Tue, 9 Dec 2025
• Mon, 8 Dec 2025
• Fri, 5 Dec 2025