计算机科学

2025年08月 的作者和标题

[1] arXiv:2508.00002 [中文pdf, pdf, html, 其他]

标题： ReVise：一种用于增量算法救济的人机接口 显示英文标题

标题： ReVise: A Human-AI Interface for Incremental Algorithmic Recourse

Kaustav Bhattacharjee, Jun Yuan, Aritra Dasgupta

评论： 有条件接受进入IEEE VIS 2025 短文轨道

主题： 人机交互 (cs.HC)

[2] arXiv:2508.00003 [中文pdf, pdf, 其他]

标题： 构建现实世界的大图 显示英文标题

标题： Building Bigraphs of the real world

Kang Rong Roy Ang

评论： 提交以部分满足剑桥大学计算机科学三一学院第二部分的要求

主题： 计算机科学中的逻辑 (cs.LO)

[3] arXiv:2508.00004 [中文pdf, pdf, html, 其他]

标题： 不确定条件下的捉迷藏游戏推理 显示英文标题

标题： Reasoning under uncertainty in the game of Cops and Robbers

Dazhu Li, Sujata Ghosh, Fenrong Liu

主题： 计算机科学中的逻辑 (cs.LO) ; 逻辑 (math.LO)

[4] arXiv:2508.00005 [中文pdf, pdf, html, 其他]

标题： 在约束条件下程序合成中的程序空间建模 显示英文标题

标题： Modelling Program Spaces in Program Synthesis with Constraints

Tilman Hinnerichs, Bart Swinkels, Jaap de Jong, Reuben Gardos Reid, Tudor Magirescu, Neil Yorke-Smith, Sebastijan Dumancic

主题： 编程语言 (cs.PL) ; 人工智能 (cs.AI)

[5] arXiv:2508.00007 [中文pdf, pdf, html, 其他]

标题： 代理网络协议技术白皮书 显示英文标题

标题： Agent Network Protocol Technical White Paper

Gaowei Chang, Eidan Lin, Chengxuan Yuan, Rizhao Cai, Binbin Chen, Xuan Xie, Yin Zhang

评论： 白皮书是对ANP开源技术社区之前发布的开源社区版进行重新排版后的版本（https://github.com/agent-network-protocol）

主题： 网络与互联网架构 (cs.NI) ; 人工智能 (cs.AI)

[6] arXiv:2508.00009 [中文pdf, pdf, 其他]

标题： 使能FTTR网络上的沉浸式XR协作（特邀） 显示英文标题

标题： Enabling Immersive XR Collaborations over FTTR Networks (Invited)

Sourav Mondal, Elaine Wong

评论： 这篇邀请论文将在2025年Optica高级光子学大会上演示。

主题： 网络与互联网架构 (cs.NI) ; 人工智能 (cs.AI)

[7] arXiv:2508.00010 [中文pdf, pdf, html, 其他]

标题： 使用随机几何的非地面网络模型：平面还是球面？ 显示英文标题

标题： Non-Terrestrial Network Models Using Stochastic Geometry: Planar or Spherical?

Ruibo Wang, Baha Eddine Youcef Belmekki, Howard H. Yang, Mohamed Slim Alouini

主题： 网络与互联网架构 (cs.NI)

[8] arXiv:2508.00011 [中文pdf, pdf, html, 其他]

标题： 基于深度强化学习的HAPS-V2X网络中关注信息年龄的资源分配 显示英文标题

标题： AoI-Aware Resource Allocation with Deep Reinforcement Learning for HAPS-V2X Networks

Ahmet Melih Ince, Ayse Elif Canbilen, Halim Yanikomeroglu

评论： 6页，3图，将发表于IEEE会议论文集

主题： 网络与互联网架构 (cs.NI) ; 人工智能 (cs.AI) ; 机器学习 (cs.LG) ; 多智能体系统 (cs.MA) ; 系统与控制 (eess.SY)

[9] arXiv:2508.00013 [中文pdf, pdf, html, 其他]

标题： 从可证明的正确性到概率生成：程序合成范式的比较综述 显示英文标题

标题： From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms

Zurabi Kobaladze, Anna Arnania, Tamar Sanikidze

评论： 78页。提交的学士学位论文项目，作为库塔伊西国际大学计算机科学学士学位要求的部分满足。

主题： 编程语言 (cs.PL)

[10] arXiv:2508.00014 [中文pdf, pdf, html, 其他]

标题： 确定两个时钟的几乎非震颤加权定时游戏的值 显示英文标题

标题： Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games

Isa Vialard

主题： 计算机科学中的逻辑 (cs.LO)

[11] arXiv:2508.00015 [中文pdf, pdf, 其他]

标题： 扩展摘要：部分封装及其在ACL2中对浮点运算的支持 显示英文标题

标题： Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2

Matt Kaufmann, J Strother Moore

评论： 在ACL2 2025会议论文集中，arXiv:2507.18567

期刊参考： EPTCS 423，2025，第56-59页

主题： 计算机科学中的逻辑 (cs.LO) ; 数学软件 (cs.MS)

[12] arXiv:2508.00016 [中文pdf, pdf, 其他]

标题： 扩展摘要：具有多种实现的可变对象 显示英文标题

标题： Extended Abstract: Mutable Objects with Several Implementations

Matt Kaufmann, Yahya Sohail, Warren A. Hunt Jr

评论： 在ACL2 2025会议论文集中，arXiv:2507.18567

期刊参考： EPTCS 423，2025，第60-64页

主题： 编程语言 (cs.PL) ; 计算机科学中的逻辑 (cs.LO)

[13] arXiv:2508.00017 [中文pdf, pdf, html, 其他]

标题： 生成逻辑：用于确定性推理和知识生成的新计算机架构 显示英文标题

标题： Generative Logic: A New Computer Architecture for Deterministic Reasoning and Knowledge Generation

Nikolai Sergeev

评论： 19页，5图。代码和交互式HTML证明图已永久存档在Zenodo（DOI：10.5281/zenodo.16408441）

主题： 计算机科学中的逻辑 (cs.LO) ; 人工智能 (cs.AI) ; 硬件架构 (cs.AR)

[14] arXiv:2508.00020 [中文pdf, pdf, html, 其他]

标题： 从中继角度对SAGIN的性能分析：一种球面随机几何方法 显示英文标题

标题： Performance Analysis of SAGIN from the Relay Perspective: A Spherical Stochastic Geometry Approach

Ferdaous Tarhouni, Ruibo Wang, Mohamed-Slim Alouini

主题： 网络与互联网架构 (cs.NI)

[15] arXiv:2508.00021 [中文pdf, pdf, 其他]

标题： 对齐监控 显示英文标题

标题： Alignment Monitoring

Thomas A. Henzinger, Konstantin Kueffner, Vasu Singh, I Sun

主题： 计算机科学中的逻辑 (cs.LO)

[16] arXiv:2508.00028 [中文pdf, pdf, html, 其他]

标题： 基于马尔可夫链框架和ITU-R传播模型的可扩展频谱可用性预测 显示英文标题

标题： Scalable Spectrum Availability Prediction using a Markov Chain Framework and ITU-R Propagation Models

Abir Ray

评论： 12页

主题： 网络与互联网架构 (cs.NI) ; 人工智能 (cs.AI) ; 计算与语言 (cs.CL) ; 数值分析 (math.NA)

[17] arXiv:2508.00031 [中文pdf, pdf, html, 其他]

标题： Git 上下文控制器：像 Git 一样管理基于 LLM 的代理的上下文 显示英文标题

标题： Git Context Controller: Manage the Context of LLM-based Agents like Git

Junde Wu

评论： 在更新中

主题： 软件工程 (cs.SE)

[18] arXiv:2508.00032 [中文pdf, pdf, html, 其他]

标题： 战略沟通与多智能体大语言模型协调中的语言偏差 显示英文标题

标题： Strategic Communication and Language Bias in Multi-Agent LLM Coordination

Alessio Buscemi, Daniele Proverbio, Alessandro Di Stefano, The Anh Han, German Castignani, Pietro Liò

主题： 多智能体系统 (cs.MA)

[19] arXiv:2508.00033 [中文pdf, pdf, html, 其他]

标题： GPT-4.1 在使用新型 Python 库的自动化实验设计中树立了标准 显示英文标题

标题： GPT-4.1 Sets the Standard in Automated Experiment Design Using Novel Python Libraries

Nuno Fachada, Daniel Fernandes, Carlos M. Fernandes, Bruno D. Ferreira-Saraiva, João P. Matos-Carvalho

主题： 软件工程 (cs.SE) ; 人工智能 (cs.AI) ; 计算与语言 (cs.CL)

[20] arXiv:2508.00037 [中文pdf, pdf, html, 其他]

标题： 基于能量感知图神经扩散预测大规模城市网络动态 显示英文标题

标题： Predicting Large-scale Urban Network Dynamics with Energy-informed Graph Neural Diffusion

Tong Nie, Jian Sun, Wei Ma

评论： 已被IEEE工业信息学汇刊接受

期刊参考： IEEE工业信息学汇刊，2025

主题： 机器学习 (cs.LG) ; 人工智能 (cs.AI)

[21] arXiv:2508.00039 [中文pdf, pdf, 其他]

标题： 用于分析公路铁路平交道的混合LSTM-Transformer模型 显示英文标题

标题： Hybrid LSTM-Transformer Models for Profiling Highway-Railway Grade Crossings

Kaustav Chatterjee, Joshua Q. Li, Fatemeh Ansari, Masud Rana Munna, Kundan Parajulee, Jared Schwennesen

主题： 机器学习 (cs.LG) ; 人工智能 (cs.AI)

[22] arXiv:2508.00040 [中文pdf, pdf, html, 其他]

标题： 基于多标准决策支持的制度感知条件神经过程在运行电力价格预测中的应用 显示英文标题

标题： Regime-Aware Conditional Neural Processes with Multi-Criteria Decision Support for Operational Electricity Price Forecasting

Abhinav Das, Stephan Schlüter

主题： 机器学习 (cs.LG) ; 概率 (math.PR) ; 应用 (stat.AP) ; 机器学习 (stat.ML)

[23] arXiv:2508.00041 [中文pdf, pdf, html, 其他]

标题： 像人类一样学习：通过认知发展阶段实现资源高效的联邦微调 显示英文标题

标题： Learning Like Humans: Resource-Efficient Federated Fine-Tuning through Cognitive Developmental Stages

Yebo Wu, Jingguang Li, Zhijiang Guo, Li Li

主题： 机器学习 (cs.LG) ; 人工智能 (cs.AI) ; 分布式、并行与集群计算 (cs.DC)

[24] arXiv:2508.00042 [中文pdf, pdf, html, 其他]

标题： 面向6G的可靠人工智能：检测无线网络中的概念漂移 显示英文标题

标题： Towards Reliable AI in 6G: Detecting Concept Drift in Wireless Network

Athanasios Tziouvaras, Carolina Fortuna, George Floros, Kostas Kolomvatsos, Panagiotis Sarigiannidis, Marko Grobelnik, Blaž Bertalanič

评论： 10页，12图

主题： 网络与互联网架构 (cs.NI) ; 机器学习 (cs.LG)

[25] arXiv:2508.00043 [中文pdf, pdf, html, 其他]

标题： 通过权重相似性提升拓扑卷积神经网络的鲁棒性和功能定位 显示英文标题

标题： Improved Robustness and Functional Localization in Topographic CNNs Through Weight Similarity

Nhut Truong, Uri Hasson

主题： 机器学习 (cs.LG)

[26] arXiv:2508.00045 [中文pdf, pdf, 其他]

标题： 机器学习流水线在软件工程中的应用：一项系统文献综述 显示英文标题

标题： Machine Learning Pipeline for Software Engineering: A Systematic Literature Review

Samah Kansab

主题： 软件工程 (cs.SE)

[27] arXiv:2508.00046 [中文pdf, pdf, html, 其他]

标题： 在一套可改进记忆的领域中对强化学习中的部分可观测性进行基准测试 显示英文标题

标题： Benchmarking Partial Observability in Reinforcement Learning with a Suite of Memory-Improvable Domains

Ruo Yu Tao, Kaicheng Guo, Cameron Allen, George Konidaris

评论： 参加RLC 2025。1页封面，10页正文，3页参考文献 + 13页附录材料

主题： 机器学习 (cs.LG) ; 人工智能 (cs.AI)

[28] arXiv:2508.00047 [中文pdf, pdf, 其他]

标题： TriP-LLM：一种用于时间序列异常检测的三分支逐块大型语言模型框架 显示英文标题

标题： TriP-LLM: A Tri-Branch Patch-wise Large Language Model Framework for Time-Series Anomaly Detection

Yuan-Cheng Yu, Yen-Chieh Ouyang, Chun-An Lin

评论： 11页，2图

主题： 机器学习 (cs.LG) ; 人工智能 (cs.AI)

[29] arXiv:2508.00053 [中文pdf, pdf, html, 其他]

标题： 基于质量引导的评分融合专家混合框架的人类识别 显示英文标题

标题： A Quality-Guided Mixture of Score-Fusion Experts Framework for Human Recognition

Jie Zhu, Yiyang Su, Minchul Kim, Anil Jain, Xiaoming Liu

评论： 被ICCV 2025接收。11页，5图

主题： 计算机视觉与模式识别 (cs.CV)

[30] arXiv:2508.00078 [中文pdf, pdf, 其他]

标题： 评估新冠疫情特征对比特币收益预测的贡献：基于LightGBM和遗传优化的方法论 显示英文标题

标题： Evaluating COVID 19 Feature Contributions to Bitcoin Return Forecasting: Methodology Based on LightGBM and Genetic Optimization

Imen Mahmoud, Andrei Velichko

评论： 22页，5图

主题： 机器学习 (cs.LG) ; 人工智能 (cs.AI) ; 一般经济学 (econ.GN)

[31] arXiv:2508.00079 [中文pdf, pdf, html, 其他]

标题： PhysicsEval：改进大型语言模型在物理问题上推理能力的推理时技术 显示英文标题

标题： PhysicsEval: Inference-Time Techniques to Improve the Reasoning Proficiency of Large Language Models on Physics Problems

Oshayer Siddique, J. M Areeb Uzair Alam, Md Jobayer Rahman Rafy, Syed Rifat Raiyan, Hasan Mahmud, Md Kamrul Hasan

评论： 正在审阅，18页，4图，7表

主题： 计算与语言 (cs.CL) ; 人工智能 (cs.AI)

[32] arXiv:2508.00081 [中文pdf, pdf, 其他]

标题： 重新思考医学语言基准中的证据层次：对HealthBench的批判性评估 显示英文标题

标题： Rethinking Evidence Hierarchies in Medical Language Benchmarks: A Critical Evaluation of HealthBench

Fred Mutisya (1,2), Shikoh Gitau (1), Nasubo Ongoma (1), Keith Mbae (1), Elizabeth Wamicha (1)

主题： 人工智能 (cs.AI)

[33] arXiv:2508.00083 [中文pdf, pdf, html, 其他]

标题： 基于LLM代理的代码生成综述 显示英文标题

标题： A Survey on Code Generation with LLM-based Agents

Yihong Dong, Xue Jiang, Jiaru Qian, Tian Wang, Kechi Zhang, Zhi Jin, Ge Li

评论： 进行中

主题： 软件工程 (cs.SE) ; 人工智能 (cs.AI) ; 计算与语言 (cs.CL) ; 机器学习 (cs.LG)

[34] arXiv:2508.00085 [中文pdf, pdf, html, 其他]

标题： 沙袋与真人拳击：视频中的运动可转移性 显示英文标题

标题： Punching Bag vs. Punching Person: Motion Transferability in Videos

Raiyaan Abdullah, Jared Claypoole, Michael Cogswell, Ajay Divakaran, Yogesh Rawat

评论： 被ICCV 2025主会议接收

主题： 计算机视觉与模式识别 (cs.CV) ; 人工智能 (cs.AI)

[35] arXiv:2508.00086 [中文pdf, pdf, 其他]

标题： 大型语言模型是否会生成具有“类似人类”词汇多样性的文本？ 显示英文标题

标题： Do LLMs produce texts with "human-like" lexical diversity?

Kelly Kendro, Jeffrey Maloney, Scott Jarvis

评论： 35页；包括摘要

主题： 计算与语言 (cs.CL)

[36] arXiv:2508.00088 [中文pdf, pdf, html, 其他]

标题： Monado SLAM数据集用于第一视角视觉惯性跟踪 显示英文标题

标题： The Monado SLAM Dataset for Egocentric Visual-Inertial Tracking

Mateo de Mayo, Daniel Cremers, Taihú Pire

评论： 被IROS 2025接收

主题： 计算机视觉与模式识别 (cs.CV) ; 机器人技术 (cs.RO)

[37] arXiv:2508.00095 [中文pdf, pdf, html, 其他]

标题： 符号复杂性及其对文化建模的认识论影响 显示英文标题

标题： Semiotic Complexity and Its Epistemological Implications for Modeling Culture

Zachary K. Stine, James E. Deitrick

评论： 预印本。稿件正在审阅中

主题： 计算与语言 (cs.CL) ; 计算机与社会 (cs.CY)

[38] arXiv:2508.00096 (交叉列表自 math.NA) [中文pdf, pdf, 其他]

标题： 零对角线，共轭空心化，以及非定性算子的表征 显示英文标题

标题： Zeroing Diagonals, Conjugate Hollowization, and Characterizing Nondefinite Operators

David R. Nicholus

评论： 24页，4图

主题： 数值分析 (math.NA) ; 环与代数 (math.RA)

[39] arXiv:2508.00097 [中文pdf, pdf, html, 其他]

标题： XRoboToolkit：用于机器人远程操作的跨平台框架 显示英文标题

标题： XRoboToolkit: A Cross-Platform Framework for Robot Teleoperation

Zhigen Zhao, Liuchuan Yu, Ke Jing, Ning Yang

评论： 6页，6张图，项目链接：https://github.com/XR-Robotics

主题： 机器人技术 (cs.RO) ; 人工智能 (cs.AI)

[40] arXiv:2508.00098 [中文pdf, pdf, html, 其他]

标题： 应力感知的弹性神经训练 显示英文标题

标题： Stress-Aware Resilient Neural Training

Ashkan Shakarami, Yousef Yeganeh, Azade Farshad, Lorenzo Nicole, Stefano Ghidoni, Nassir Navab

评论： 16页，11图

主题： 机器学习 (cs.LG) ; 人工智能 (cs.AI) ; 计算机视觉与模式识别 (cs.CV)

[41] arXiv:2508.00101 (交叉列表自 math.NA) [中文pdf, pdf, html, 其他]

标题： 利用算子学习加速预条件共轭梯度法的收敛 显示英文标题

标题： Leveraging Operator Learning to Accelerate Convergence of the Preconditioned Conjugate Gradient Method

Alena Kopaničáková, Youngkyu Lee, George Em Karniadakis

评论： 31页

主题： 数值分析 (math.NA) ; 机器学习 (cs.LG) ; 优化与控制 (math.OC)

[42] arXiv:2508.00103 [中文pdf, pdf, html, 其他]

标题： 一种混合以用户为中心的方法，以在智能导师系统中实现增强型人工智能：MathAIde 应用的案例 显示英文标题

标题： A Mixed User-Centered Approach to Enable Augmented Intelligence in Intelligent Tutoring Systems: The Case of MathAIde app

Guilherme Guerino, Luiz Rodrigues, Luana Bianchini, Mariana Alves, Marcelo Marinho, Thomaz Veloso, Valmir Macario, Diego Dermeval, Thales Vieira, Ig Bittencourt, Seiji Isotani

评论： 文章被国际人机交互杂志接受

主题： 人机交互 (cs.HC) ; 人工智能 (cs.AI)

[43] arXiv:2508.00106 [中文pdf, pdf, 其他]

标题： 超属性约束的安全强化学习 显示英文标题

标题： Hyperproperty-Constrained Secure Reinforcement Learning

Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque

评论： 已被IEEE/ACM MEMOCODE 2025接收

主题： 人工智能 (cs.AI) ; 机器学习 (cs.LG) ; 计算机科学中的逻辑 (cs.LO) ; 系统与控制 (eess.SY)

[44] arXiv:2508.00107 [中文pdf, pdf, html, 其他]

标题： 交互可视化中数据与工具的解耦 显示英文标题

标题： Decoupling Data and Tooling in Interactive Visualization

Jan Simson

评论： 2025年IEEE VIS会议海报

主题： 人机交互 (cs.HC)

[45] arXiv:2508.00109 [中文pdf, pdf, html, 其他]

标题： 工厂：一个用于长格式事实性的具有挑战性的手动验证提示集 显示英文标题

标题： FACTORY: A Challenging Human-Verified Prompt Set for Long-Form Factuality

Mingda Chen, Yang Li, Xilun Chen, Adina Williams, Gargi Ghosh, Scott Yih

主题： 计算与语言 (cs.CL) ; 人工智能 (cs.AI)

[46] arXiv:2508.00116 [中文pdf, pdf, html, 其他]

标题： 没有PI就没有AI！ 以对象为中心的过程挖掘作为生成式、预测性和处方性人工智能的推动者 显示英文标题

标题： No AI Without PI! Object-Centric Process Mining as the Enabler for Generative, Predictive, and Prescriptive Artificial Intelligence

Wil M.P. van der Aalst

评论： 10页，4图，预印本主题论文，第七届智能与模糊系统国际会议（INFUS 2025）

主题： 人工智能 (cs.AI)

[47] arXiv:2508.00117 [中文pdf, pdf, 其他]

标题： StackLiverNet：一种新型堆叠集成模型用于准确且可解释的肝脏疾病检测 显示英文标题

标题： StackLiverNet: A Novel Stacked Ensemble Model for Accurate and Interpretable Liver Disease Detection

Md. Ehsanul Haque, S. M. Jahidul Islam, Shakil Mia, Rumana Sharmin, Ashikuzzaman, Md Samir Morshed, Md. Tahmidul Huque

评论： 被接受并发表的第16届国际IEEE计算、通信和网络技术会议（ICCCNT）印度论文

主题： 机器学习 (cs.LG) ; 人工智能 (cs.AI)

[48] arXiv:2508.00121 [中文pdf, pdf, html, 其他]

标题： 神经语义解析在省略句解析方面表现良好，还是不佳？ 显示英文标题

标题： Is neural semantic parsing good at ellipsis resolution, or isn't it?

Xiao Zhang, Johan bos

评论： 被第16届IWCS接受

主题： 计算与语言 (cs.CL)

[49] arXiv:2508.00127 [中文pdf, pdf, html, 其他]

标题： 结构化变换用于稳定和可解释的神经计算 显示英文标题

标题： Structured Transformations for Stable and Interpretable Neural Computation

Saleh Nikooroo, Thomas Engel

主题： 机器学习 (cs.LG)

[50] arXiv:2508.00128 [中文pdf, pdf, html, 其他]

标题： 量化如何影响代码LLMs的隐私风险？ 显示英文标题

标题： How Quantization Impacts Privacy Risk on LLMs for Code?

Md Nazmul Haque, Hua Yang, Zhou Yang, Bowen Xu

主题： 软件工程 (cs.SE)