We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic in Computer Science

Authors and titles for recent submissions

[ total of 31 entries: 1-25 | 26-31 ]
[ showing 25 entries per page: fewer | more | all ]

Wed, 4 Feb 2026

[1]  arXiv:2602.03701 [pdf, ps, other]
Title: A Formal Analysis of Capacity Scaling Algorithms for Minimum-Cost Flows
Authors: Mohammad Abdulaziz, Thomas Ammer
Comments: Related Conference Paper: this https URL
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:2602.03565 [pdf, ps, other]
Title: Symbolic Model Checking using Intervals of Vectors
Authors: Damien Morard, Lucas Donati, Didier Buchs
Comments: Under submission
Subjects: Logic in Computer Science (cs.LO)
[3]  arXiv:2602.03275 [pdf, ps, other]
Title: On Complete Categorical Semantics for Effect Handlers
Authors: Satoshi Kura
Subjects: Logic in Computer Science (cs.LO)
[4]  arXiv:2602.03072 [pdf, ps, other]
Title: Towards Weak Stratification for Logics of Definitions
Authors: Nathan Guermond
Comments: Appendix for arXiv:2510.12297
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:2602.02822 [pdf, ps, other]
Title: A Classical Linear $λ$-Calculus based on Contraposition
Authors: Pablo Barenbaum, Eduardo Bonelli, Leopoldo Lerena
Subjects: Logic in Computer Science (cs.LO)
[6]  arXiv:2602.02561 [pdf, ps, other]
Title: MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
Authors: Xinyu Liu, Zixuan Xie, Amir Moeini, Claire Chen, Shuze Daniel Liu, Yu Meng, Aidong Zhang, Shangtong Zhang
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[7]  arXiv:2602.03550 (cross-list from cs.SE) [pdf, ps, other]
Title: Formal Evidence Generation for Assurance Cases for Robotic Software Models
Authors: Fang Yan, Simon Foster, Ana Cavalcanti, Ibrahim Habli, James Baxter
Comments: This is a preprint. The paper is currently under review at Software and Systems Modeling
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Robotics (cs.RO)

Tue, 3 Feb 2026

[8]  arXiv:2602.02218 [pdf, ps, other]
Title: The $\infty$-category of $\infty$-categories in simplicial type theory
Authors: Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[9]  arXiv:2602.02091 [pdf, ps, other]
Title: Mechanized Undecidability of Higher-order beta-Matching (Extended Version)
Authors: Andrej Dudenhefner
Subjects: Logic in Computer Science (cs.LO)
[10]  arXiv:2602.01856 [pdf, ps, other]
Title: Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
Authors: Przemysław Andrzej Wałęga, Bernardo Cuenca Grau
Comments: 13 pages
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:2602.01299 [pdf, ps, other]
Title: Making progress: Reducibility Candidates and Cut Elimination in the Ill-founded Realm
Authors: Gianluca Curzi, Graham E. Leigh
Comments: 45 pages
Subjects: Logic in Computer Science (cs.LO)
[12]  arXiv:2602.01291 [pdf, ps, other]
Title: Construction-Verification: A Benchmark for Applied Mathematics in Lean 4
Authors: Bowen Yang, Yi Yuan, Chenyi Li, Ziyu Wang, Liangqi Li, Bo Zhang, Zhe Li, Zaiwen Wen
Subjects: Logic in Computer Science (cs.LO)
[13]  arXiv:2602.00134 [pdf, ps, other]
Title: Six Birds: Foundations of Emergence Calculus
Authors: Ioannis Tsiokos
Subjects: Logic in Computer Science (cs.LO)
[14]  arXiv:2602.01171 (cross-list from cs.AI) [pdf, ps, other]
Title: ASP-Bench: From Natural Language to Logic Programs
Authors: Stefan Szeider
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)
[15]  arXiv:2602.00731 (cross-list from cs.AI) [pdf, ps, other]
Title: Neuro-symbolic AI for Predictive Maintenance (PdM) -- review and recommendations
Authors: Kyle Hamilton, Ali Intizar
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Mon, 2 Feb 2026

[16]  arXiv:2601.23082 [pdf, ps, other]
Title: A Complete Finitary Refinement Type System for Scott-Open Properties
Authors: Colin Riba, Adam Donadille
Comments: arXiv admin note: text overlap with arXiv:2502.11917
Subjects: Logic in Computer Science (cs.LO)
[17]  arXiv:2601.22554 [pdf, ps, other]
Title: LeanArchitect: Automating Blueprint Generation for Humans and AI
Authors: Thomas Zhu, Pietro Monticone, Jeremy Avigad, Sean Welleck
Subjects: Logic in Computer Science (cs.LO)
[18]  arXiv:2601.22393 [pdf, ps, other]
Title: Proof Complexity of Linear Logics
Authors: Amirhossein Akbar Tabatabai, Raheleh Jalali
Comments: 58 pages
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO)
[19]  arXiv:2601.22191 [pdf, ps, other]
Title: Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version)
Authors: Takahito Aoto, Naoki Nishida, Jonas Schöpf
Comments: Full version of a submission to FSCD 2026
Subjects: Logic in Computer Science (cs.LO)
[20]  arXiv:2601.23169 (cross-list from cs.LG) [pdf, ps, other]
Title: Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning
Authors: İlker Işık, Wenchao Li
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[21]  arXiv:2601.22721 (cross-list from math.CT) [pdf, ps, other]
Title: Profunctorial algebras
Authors: Quentin Aristote, Umberto Tarantino
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
[22]  arXiv:2601.22691 (cross-list from cs.CC) [pdf, ps, other]
Title: Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard
Authors: Leonid Dorochko, Michał Wrona
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[23]  arXiv:2601.22557 (cross-list from cs.PL) [pdf, ps, other]
Title: Recursive Mutexes in Separation Logic
Authors: Ke Du, William Mansky, Paolo G. Giarrusso, Gregory Malecha
Journal-ref: RocqPL 2026-Rocq for Programming Languages
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[24]  arXiv:2601.21734 (cross-list from math.NT) [pdf, ps, other]
Title: Formalization of non-Archimedean functional analysis 1: spherically complete spaces
Authors: Yijun Yuan
Comments: 27 pages
Subjects: Number Theory (math.NT); Logic in Computer Science (cs.LO); Functional Analysis (math.FA)

Fri, 30 Jan 2026 (showing first 1 of 3 entries)

[25]  arXiv:2601.21882 [pdf, ps, other]
Title: How Expressive Are Graph Neural Networks in the Presence of Node Identifiers?
Authors: Arie Soeteman, Michael Benedikt, Martin Grohe, Balder ten Cate
Comments: 35 pages
Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG)
[ total of 31 entries: 1-25 | 26-31 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2602, contact, help  (Access key information)