计算机科学中的逻辑

最近提交的作者和标题

• 2025年06月02日， 星期一
• 2025年05月30日， 星期五
• 2025年05月29日， 星期四
• 2025年05月28日， 星期三
• 2025年05月27日， 星期二

查看今天的 新的 变化

2025年06月02日， 星期一 (展示 3 之 3 条目 )

[1] arXiv:2505.24812 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 具有变量绑定和单变量替换的次结构抽象语法 显示英文标题

标题： Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution

Marcelo Fiore, Sanjiv Ranchod

评论： 将于第四十届ACM/IEEE计算机科学逻辑研讨会（LICS'25）上发表

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

[2] arXiv:2505.24537 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： ASP Chef 长出胡子以显得更好看 显示英文标题

标题： ASP Chef grows Mustache to look better

Mario Alviano, Wolfgang Faber, Luis Angel Rodriguez Reiners

评论： 拟发表于《逻辑编程理论与实践》(TPLP)

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

[3] arXiv:2505.23787 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 一个极小替换基底用于卡尔马初等等价函数 显示英文标题

标题： A Minimal Substitution Basis for the Kalmar Elementary Functions

Mihai Prunescu, Lorenzo Sauras-Altuzarra, Joseph M. Shunia

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

2025年05月30日， 星期五 (展示 6 之 6 条目 )

[4] arXiv:2505.23635 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 双模仿度量的表达能力在解析状态空间上 显示英文标题

标题： Expressivity of bisimulation pseudometrics over analytic state spaces

Daniel Luckhardt, Harsh Beohar, Clemens Kupke

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

[5] arXiv:2505.23401 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 智能体插值用于知识 显示英文标题

标题： Agent Interpolation for Knowledge

Marta Bílková, Wesley Fussner, Roman Kuznets

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

[6] arXiv:2505.23311 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 面向基于LLM的多项式形式验证中可读证明的生成 显示英文标题

标题： Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification

Rolf Drechsler

评论： 4页；2025年5月27日至30日在印度加尔各答IIEST谢伯德举办的第七届国际设备、电路和系统研讨会（ISDCS 2025）上发表的主旨演讲

主题： 计算机科学中的逻辑 (cs.LO) ; 硬件架构 (cs.AR) ; 符号计算 (cs.SC)

[7] arXiv:2505.22821 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： 自动结构的简单类 显示英文标题

标题： Simple Classes of Automatic Structures

Achim Blumensath

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

[8] arXiv:2505.23135 (交叉列表自 cs.LG) [中文pdf, pdf, html, 其他]

标题： VERINA：可验证代码生成的基准测试 显示英文标题

标题： VERINA: Benchmarking Verifiable Code Generation

Zhe Ye, Zhengxu Yan, Jingxuan He, Timothe Kasriel, Kaiyu Yang, Dawn Song

主题： 机器学习 (cs.LG) ; 人工智能 (cs.AI) ; 计算机科学中的逻辑 (cs.LO) ; 编程语言 (cs.PL) ; 软件工程 (cs.SE)

[9] arXiv:2505.22846 (交叉列表自 cs.LG) [中文pdf, pdf, html, 其他]

标题： RocqStar：利用基于相似性驱动的检索和能动系统生成Rocq 显示英文标题

标题： RocqStar: Leveraging Similarity-driven Retrieval and Agentic Systems for Rocq generation

Nikita Khramov, Andrei Kozyrev, Gleb Solovev, Anton Podkopaev

主题： 机器学习 (cs.LG) ; 人工智能 (cs.AI) ; 计算机科学中的逻辑 (cs.LO) ; 软件工程 (cs.SE)

2025年05月29日， 星期四 (展示 6 之 6 条目 )

[10] arXiv:2505.22277 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 判定特征公式模嵌套仿真复杂性 显示英文标题

标题： The complexity of deciding characteristic formulae modulo nested simulation

Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Ingolfsdottir

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

[11] arXiv:2505.22213 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 饱和中的部分冗余 显示英文标题

标题： Partial Redundancy in Saturation

Márton Hajdu, Laura Kovács, Andrei Voronkov

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

[12] arXiv:2505.22181 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： 项排序图 显示英文标题

标题： Term Ordering Diagrams

Márton Hajdu, Robin Coutelier, Laura Kovács, Andrei Voronkov

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

[13] arXiv:2505.21986 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 通过存在约束项刻画逻辑约束项的等价性（完整版本） 显示英文标题

标题： Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version)

Kanta Takahata, Jonas Schöpf, Naoki Nishida, Takahito Aoto

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

[14] arXiv:2505.21672 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 关于可重构双模拟，及其在分布式综合问题中的应用 显示英文标题

标题： On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem

Yehia Abd Alrahman, Nir Piterman

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

[15] arXiv:2505.22104 (交叉列表自 cs.AI) [中文pdf, pdf, html, 其他]

标题： 高效动态屏蔽技术用于参数化安全规范 显示英文标题

标题： Efficient Dynamic Shielding for Parametric Safety Specifications

Davide Corsi, Kaushik Mallik, Andoni Rodriguez, Cesar Sanchez

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

2025年05月28日， 星期三 (展示 10 之 10 条目 )

[16] arXiv:2505.21149 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 基于团队的逻辑中的平坦化算子 显示英文标题

标题： The flattening operator in team-based logics

Arnaud Durand, Juha Kontinen, Werner Mérian, Jouko Väänänen

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

[17] arXiv:2505.21103 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 具体领域与描述逻辑中表达性强的基数限制相遇（扩展版本） 显示英文标题

标题： Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)

Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann

评论： CADE-30上接受的论文的扩展版本

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

[18] arXiv:2505.21087 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： 并发随机可达性与安全性博弈中值迭代的停止准则 显示英文标题

标题： Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games

Marta Grobelna, Jan Křetínský, Maximilian Weininger

评论： LICS'25论文的完整版本

主题： 计算机科学中的逻辑 (cs.LO) ; 人工智能 (cs.AI) ; 多智能体系统 (cs.MA)

[19] arXiv:2505.20748 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： INTERLEAVE：一种更快的最大强连通分量分解的符号算法 显示英文标题

标题： INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition

Suguman Bansal, Ramneet Singh

评论： 将于2025年第37届计算机辅助验证（CAV）国际会议发表

主题： 计算机科学中的逻辑 (cs.LO) ; 形式语言与自动机理论 (cs.FL) ; 编程语言 (cs.PL)

[20] arXiv:2505.20314 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： $Δ$-网：基于交互的最优并行$λ$-约简系统 显示英文标题

标题： $Δ$-Nets: Interaction-Based System for Optimal Parallel $λ$-Reduction

Daniel Augusto Rizzi Salvadori

主题： 计算机科学中的逻辑 (cs.LO) ; 硬件架构 (cs.AR) ; 分布式、并行与集群计算 (cs.DC) ; 编程语言 (cs.PL)

[21] arXiv:2505.20850 (交叉列表自 cs.PL) [中文pdf, pdf, 其他]

标题： 基于守卫的面向对象编程语言同步的有效实现 显示英文标题

标题： An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language

Shucai Yao (Huawai Technologies Canada), Emil Sekerinski (McMaster University)

评论： 在会议PLACES 2025论文集，arXiv:2505.19078

期刊参考： 电子程序设计与协作会议(EPTCS) 420, 2025年, 第44-53页

主题： 编程语言 (cs.PL) ; 分布式、并行与集群计算 (cs.DC) ; 计算机科学中的逻辑 (cs.LO)

[22] arXiv:2505.20848 (交叉列表自 cs.PL) [中文pdf, pdf, 其他]

标题： 具有类的安全线程和内存编程 显示英文标题

标题： Thread and Memory-Safe Programming with CLASS

Luís Caires (Instituto Superior Técnico (U Lisboa) / INESC-ID)

评论： 在会议PLACES 2025论文集，arXiv:2505.19078

期刊参考： 电子程序设计与协作（EPTCS）420卷，2025年，第22-33页

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

[23] arXiv:2505.20613 (交叉列表自 cs.CL) [中文pdf, pdf, html, 其他]

标题： REAL-Prover：用于数学推理的检索增强型Lean证明助手 显示英文标题

标题： REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning

Ziju Shen, Naohao Huang, Fanyi Yang, Yutong Wang, Guoxiong Gao, Tianyi Xu, Jiedong Jiang, Wanyi He, Pu Yang, Mengzhou Sun, Haocheng Ju, Peihao Wu, Bryan Dai, Bin Dong

主题： 计算与语言 (cs.CL) ; 人工智能 (cs.AI) ; 机器学习 (cs.LG) ; 计算机科学中的逻辑 (cs.LO)

[24] arXiv:2505.20313 (交叉列表自 cs.AI) [中文pdf, pdf, html, 其他]

标题： 神经符号人工智能中的推理 显示英文标题

标题： Reasoning in Neurosymbolic AI

Son Tran, Edjard Mota, Artur d'Avila Garcez

评论： 50页，13幅图，56篇参考文献。关键词：神经符号AI、受限玻尔兹曼机、逻辑推理、SAT求解、MaxSAT、基于能量的学习、约束优化、模块化深度学习

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

[25] arXiv:2505.20302 (交叉列表自 cs.PL) [中文pdf, pdf, html, 其他]

标题： VeriThoughts：利用推理和形式验证实现自动化Verilog代码生成 显示英文标题

标题： VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification

Patrick Yubeaton, Andre Nakkab, Weihua Xiao, Luca Collini, Ramesh Karri, Chinmay Hegde, Siddharth Garg

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

2025年05月27日， 星期二 (展示 22 之 21 条目 )

[26] arXiv:2505.20269 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 基于逻辑的可解释性的神经网络编码比较 显示英文标题

标题： Comparing Neural Network Encodings for Logic-based Explainability

Levi Cordeiro Carvalho, Saulo A. F. Oliveira, Thiago Alves Rocha

评论： 提交至BRACIS 2024（巴西智能系统会议），已接受版本发表于《智能系统，LNC，第15412卷》。

期刊参考： 智能系统。BRACIS 2024。计算机科学讲义，卷 15412

主题： 计算机科学中的逻辑 (cs.LO) ; 人工智能 (cs.AI) ; 机器学习 (cs.LG)

[27] arXiv:2505.20207 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： GPUMC：一种无状态的GPU弱内存并发模型检查器 显示英文标题

标题： GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency

Soham Chakraborty, S. Krishna, Andreas Pavlogiannis, Omkar Tuppe

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

[28] arXiv:2505.20121 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： βη-正规高阶重写系统的可计算路径序(完整版本) 显示英文标题

标题： The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version)

Johannes Niederhauser, Aart Middeldorp

评论： 录用于CADE-30

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

[29] arXiv:2505.20069 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： 通过独立性在DQBF中的改进扩展变量 显示英文标题

标题： Better Extension Variables in DQBF via Independence

Leroy Chew, Tomáš Peitl

主题： 计算机科学中的逻辑 (cs.LO) ; 计算复杂性 (cs.CC)

[30] arXiv:2505.20009 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： 通过子原子逻辑和守卫替换的证明压缩 显示英文标题

标题： Proof Compression via Subatomic Logic and Guarded Substitutions

Victoria Barrett (Inria Saclay), Alessio Guglielmi (University of Bath), Benjamin Ralph (University of Bath), Lutz Straßburger (Inria Saclay)

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

[31] arXiv:2505.19975 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 在Lean中形式化一个关于低维可解李代数的分类定理 显示英文标题

标题： Formalizing a classification theorem for low-dimensional solvable Lie algebras in Lean

Viviana del Barco, Gustavo Infanti, Exequiel Rivas, Paul Schwahn

主题： 计算机科学中的逻辑 (cs.LO) ; 环与代数 (math.RA) ; 表示理论 (math.RT)

[32] arXiv:2505.19834 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 公理化近似包含关系 显示英文标题

标题： Axiomatizing approximate inclusion

Matilda Häggblom

评论： 7页

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

[33] arXiv:2505.19816 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 拟阵和贪婪结构算法的形式化分析 显示英文标题

标题： A Formal Analysis of Algorithms for Matroids and Greedoids

Mohammad Abdulaziz, Thomas Ammer, Shriya Meenakshisundaram, Adem Rimpapa

主题： 计算机科学中的逻辑 (cs.LO) ; 数据结构与算法 (cs.DS) ; 优化与控制 (math.OC)

[34] arXiv:2505.19648 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 具有二次延迟复杂度的二变量逻辑模型枚举 显示英文标题

标题： Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity

Qiaolan Meng, Juhua Pu, Hongting Niu, Yuyi Wang, Yuanhong Wang, Ondřej Kuželka

评论： 16页，4个图，并将发表于第四十届ACM/IEEE计算机科学逻辑研讨会（LICS）

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

[35] arXiv:2505.19323 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 一种实解析方法的微分代数动态逻辑 显示英文标题

标题： A Real-Analytic Approach to Differential-Algebraic Dynamic Logic

Jonathan Hellwig, André Platzer

评论： 将发表于CADE 2025

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

[36] arXiv:2505.19069 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 事件-B的失败发散细化 显示英文标题

标题： Failure divergence refinement for Event-B

Sebastian Stock, Michael Leuschel, Atif Mashkoor

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

[37] arXiv:2505.18998 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 基于属性的可达性分析与扩展分辨率 显示英文标题

标题： Property Directed Reachability with Extended Resolution

Andrew Luka, Yakir Vizel

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

[38] arXiv:2505.18833 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 超级鞅证书用于定量 Ω-正则验证与控制 显示英文标题

标题： Supermartingale Certificates for Quantitative Omega-regular Verification and Control

Thomas A. Henzinger (1), Kaushik Mallik (2), Pouya Sadeghi (3), Đorđe Žikelić (3) ((1) Institute of Science and Technology Austria (ISTA), (2) IMDEA Software Institute, (3) Singapore Management University)

评论： 录用于CAV 2025

主题： 计算机科学中的逻辑 (cs.LO) ; 系统与控制 (eess.SY)

[39] arXiv:2505.18589 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 基于扩展语义的顺序微积分视角 显示英文标题

标题： A Sequent Calculus Perspective on Base-Extension Semantics

Victor Barroso-Nascimento, Ekaterina Piotrovskaya, Elaine Pimentel

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

[40] arXiv:2505.20047 (交叉列表自 cs.CL) [中文pdf, pdf, html, 其他]

标题： 形式不确定性语法：何时信任大型语言模型在自动化推理任务中的应用 显示英文标题

标题： Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks

Debargha Ganguly, Vikash Singh, Sreehari Sankar, Biyao Zhang, Xuecen Zhang, Srinivasan Iyengar, Xiaotian Han, Amit Sharma, Shivkumar Kalyanaraman, Vipin Chaudhary

主题： 计算与语言 (cs.CL) ; 人工智能 (cs.AI) ; 计算机科学中的逻辑 (cs.LO) ; 软件工程 (cs.SE)

[41] arXiv:2505.19932 (交叉列表自 cs.LG) [中文pdf, pdf, 其他]

标题： 逻辑门神经网络适用于验证 显示英文标题

标题： Logic Gate Neural Networks are Good for Verification

Fabian Kresse, Emily Yu, Christoph H. Lampert, Thomas A. Henzinger

评论： 15页，7个图，1个表。已被NeuS 2025接受；将发表在PMLR第288卷。

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

[42] arXiv:2505.19361 (交叉列表自 cs.AI) [中文pdf, pdf, html, 其他]

标题： 基于一致性的多预训练模型在新环境中的感知误差的溯因推理 显示英文标题

标题： Consistency-based Abductive Reasoning over Perceptual Errors of Multiple Pre-trained Models in Novel Environments

Mario Leiva, Noel Ngu, Joshua Shay Kricheli, Aditya Taparia, Ransalu Senanayake, Paulo Shakarian, Nathaniel Bastian, John Corcoran, Gerardo Simari

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

[43] arXiv:2505.18836 (交叉列表自 cs.DC) [中文pdf, pdf, html, 其他]

标题： 使用 Mallob 的分布式增量 SAT 求解：报告与分层规划案例研究 显示英文标题

标题： Distributed Incremental SAT Solving with Mallob: Report and Case Study with Hierarchical Planning

Dominik Schreiber

主题： 分布式、并行与集群计算 (cs.DC) ; 计算机科学中的逻辑 (cs.LO)

[44] arXiv:2505.18818 (交叉列表自 cs.PL) [中文pdf, pdf, html, 其他]

标题： C语言中单调数据结构遍历的自动化验证 显示英文标题

标题： Automated Verification of Monotonic Data Structure Traversals in C

Matthew Sotoudeh

评论： CAV 2025，工具地址：https://lair.masot.net/shrinker/

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

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

标题： 浮点累加网络的自动验证 显示英文标题

标题： Automatic Verification of Floating-Point Accumulation Networks

David K. Zhang, Alex Aiken

评论： 录用为CAV 2025。开源实现可在以下地址获取：https://github.com/dzhang314/FPANVerifier

主题： 数值分析 (math.NA) ; 计算机科学中的逻辑 (cs.LO)

[46] arXiv:2505.18585 (交叉列表自 cs.AI) [中文pdf, pdf, html, 其他]

标题： 基于领域知识的LLM运行时验证 显示英文标题

标题： RvLLM: LLM Runtime Verification with Domain Knowledge

Yedi Zhang, Sun Yi Emma, Annabelle Lee Jia En, Jin Song Dong

评论： 12页，2幅图

主题： 人工智能 (cs.AI) ; 计算与语言 (cs.CL) ; 计算机科学中的逻辑 (cs.LO)