Skip to main content
Cornell University
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arxiv logo > cs.LO

Help | Advanced Search

arXiv logo
Cornell University Logo

quick links

  • Login
  • Help Pages
  • About

Logic in Computer Science

Authors and titles for recent submissions

  • Fri, 17 Oct 2025
  • Thu, 16 Oct 2025
  • Wed, 15 Oct 2025
  • Tue, 14 Oct 2025
  • Mon, 13 Oct 2025

See today's new changes

Total of 41 entries
Showing up to 50 entries per page: fewer | more | all

Fri, 17 Oct 2025 (showing 6 of 6 entries )

[1] arXiv:2510.14749 [pdf, html, other]
Title: Admissibility of Substitution Rule in Cyclic-Proof Systems
Kenji Saotome, Koji Nakazawa
Comments: 20 pages, 4 figures(Including the derivation trees inserted within the main text, there are 8 JPEG files)
Subjects: Logic in Computer Science (cs.LO)
[2] arXiv:2510.14619 [pdf, other]
Title: Problems and Consequences of Bilateral Notions of (Meta-)Derivability
Sara Ayhan
Journal-ref: Erkenntnis, Published online: 13 October 2025
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[3] arXiv:2510.14550 [pdf, other]
Title: Optimization Modulo Integer Linear-Exponential Programs
S Hitarth, Alessio Mansutti, Guruprerana Shabadi
Comments: Extended version of a SODA 2026 paper
Subjects: Logic in Computer Science (cs.LO)
[4] arXiv:2510.14361 [pdf, html, other]
Title: T-BAT semantics and its logics
Pawel Pawlowski
Subjects: Logic in Computer Science (cs.LO)
[5] arXiv:2510.14846 (cross-list from cs.AI) [pdf, html, other]
Title: Where to Search: Measure the Prior-Structured Search Space of LLM Agents
Zhuo-Yang Song
Comments: 10 pages, 2 figures, 1 table
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)
[6] arXiv:2510.14716 (cross-list from math.CT) [pdf, other]
Title: Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction
Antonio Lorenzin, Fabio Zanasi
Comments: 22 pages
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)

Thu, 16 Oct 2025 (showing 8 of 8 entries )

[7] arXiv:2510.13428 [pdf, other]
Title: Verification Challenge: Fractional Cascading for Multi-Nuclide Grid Lookup
Andrew R. Siegel
Comments: In Proceedings VSS 2025, arXiv:2510.12314
Journal-ref: EPTCS 432, 2025, pp. 106-111
Subjects: Logic in Computer Science (cs.LO)
[8] arXiv:2510.13427 [pdf, other]
Title: Verification Challenges in Sparse Matrix Vector Multiplication in High Performance Computing: Part I
Junchao Zhang (Argonne National Laboratory)
Comments: In Proceedings VSS 2025, arXiv:2510.12314
Journal-ref: EPTCS 432, 2025, pp. 98-105
Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Mathematical Software (cs.MS)
[9] arXiv:2510.13425 [pdf, other]
Title: Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
Alper Altuntas, Allison H. Baker, John Baugh, Ganesh Gopalakrishnan, Stephen F. Siegel
Comments: In Proceedings VSS 2025, arXiv:2510.12314
Journal-ref: EPTCS 432, 2025, pp. 60-75
Subjects: Logic in Computer Science (cs.LO); Mathematical Software (cs.MS)
[10] arXiv:2510.13413 [pdf, other]
Title: VSS Challenge Problem: Verifying the Correctness of AllReduce Algorithms in the MPICH Implementation of MPI
Paul D. Hovland (Argonne National Laboratory)
Comments: In Proceedings VSS 2025, arXiv:2510.12314
Journal-ref: EPTCS 432, 2025, pp. 90-97
Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC)
[11] arXiv:2510.13615 (cross-list from cs.LG) [pdf, other]
Title: Message Passing on the Edge: Towards Scalable and Expressive GNNs
Pablo Barceló, Fabian Jogl, Alexander Kozachinskiy, Matthias Lanzinger, Stefan Neumann, Cristóbal Rojas
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[12] arXiv:2510.13412 (cross-list from math.NA) [pdf, other]
Title: Formal Verification of COO to CSR Sparse Matrix Conversion (Invited Paper)
Andrew W. Appel
Comments: In Proceedings VSS 2025, arXiv:2510.12314. This paper accompanies my keynote lecture "Foundational end-to-end verification of numerical programs" at VSS 2025, the International Workshop on Verification of Scientific Software; and covers one of the results described in that talk
Journal-ref: EPTCS 432, 2025, pp. 3-18
Subjects: Numerical Analysis (math.NA); Logic in Computer Science (cs.LO)
[13] arXiv:2510.13400 (cross-list from cs.NE) [pdf, other]
Title: From Minimal Existence to Human Definition: The CES-IMU-HSG Theoretical Framework
Kei Itoh
Comments: 57 pages, 2 figures, 4 tables, in English, in Japanese
Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[14] arXiv:2510.12829 (cross-list from cs.CL) [pdf, html, other]
Title: Mathematics with large language models as provers and verifiers
Hieu Le Duc, Leo Liberti
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

Wed, 15 Oct 2025 (showing 9 of 9 entries )

[15] arXiv:2510.12314 [pdf, other]
Title: Proceedings of the International Workshop on Verification of Scientific Software
Stephen F. Siegel, Ganesh Gopalakrishnan
Journal-ref: EPTCS 432, 2025
Subjects: Logic in Computer Science (cs.LO); Computational Engineering, Finance, and Science (cs.CE)
[16] arXiv:2510.12305 [pdf, other]
Title: Dependently Sorted Nominal Signatures
Maribel Fernández (King s College London, UK), Miguel Pagano (FAMAF - Universidad Nacional de Córdoba, Argentina), Nora Szasz (Universidad ORT Uruguay), Álvaro Tasistro (Universidad ORT Uruguay)
Comments: In Proceedings LFMTP 2025, arXiv:2510.11199
Journal-ref: EPTCS 431, 2025, pp. 82-98
Subjects: Logic in Computer Science (cs.LO)
[17] arXiv:2510.12304 [pdf, other]
Title: Substitution Without Copy and Paste
Thorsten Altenkirch (University of Nottingham), Nathaniel Burke (Imperial College London), Philip Wadler (University of Edinburgh)
Comments: In Proceedings LFMTP 2025, arXiv:2510.11199
Journal-ref: EPTCS 431, 2025, pp. 65-81
Subjects: Logic in Computer Science (cs.LO)
[18] arXiv:2510.12303 [pdf, other]
Title: Type Theory with Single Substitutions
Ambrus Kaposi (Eötvös Loránd University (ELTE)), Szumi Xie (Eötvös Loránd University (ELTE))
Comments: In Proceedings LFMTP 2025, arXiv:2510.11199
Journal-ref: EPTCS 431, 2025, pp. 42-64
Subjects: Logic in Computer Science (cs.LO)
[19] arXiv:2510.12302 [pdf, other]
Title: CoLF Logic Programming as Infinitary Proof Exploration
Zhibo Chen (Carnegie Mellon University), Frank Pfenning (Carnegie Mellon University)
Comments: In Proceedings LFMTP 2025, arXiv:2510.11199
Journal-ref: EPTCS 431, 2025, pp. 34-41
Subjects: Logic in Computer Science (cs.LO)
[20] arXiv:2510.12300 [pdf, other]
Title: On the Formal Metatheory of the Pure Type Systems using One-sorted Variable Names and Multiple Substitutions
Sebastián Urciuoli (Universidad ORT Uruguay)
Comments: In Proceedings LFMTP 2025, arXiv:2510.11199
Journal-ref: EPTCS 431, 2025, pp. 17-33
Subjects: Logic in Computer Science (cs.LO)
[21] arXiv:2510.12298 [pdf, html, other]
Title: Flavors of Quantifiers in Hyperlogics
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[22] arXiv:2510.12297 [pdf, other]
Title: Ground Stratification for a Logic of Definitions with Induction
Nathan Guermond (University of Minnesota), Gopalan Nadathur (University of Minnesota)
Comments: In Proceedings LFMTP 2025, arXiv:2510.11199
Journal-ref: EPTCS 431, 2025, pp. 1-16
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[23] arXiv:2510.12295 (cross-list from cs.PL) [pdf, other]
Title: Operational methods in semantics
Roberto M. Amadio
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

Tue, 14 Oct 2025 (showing 12 of 12 entries )

[24] arXiv:2510.11617 [pdf, html, other]
Title: Lecture Notes on Verifying Graph Neural Networks
François Schwarzentruber
Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG)
[25] arXiv:2510.11419 [pdf, other]
Title: Representations
Paul Brunet (UPEC UP12, LACL)
Subjects: Logic in Computer Science (cs.LO)
[26] arXiv:2510.11320 [pdf, other]
Title: A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
Kazuki Watanabe, Mayuko Kori, Taro Sekiyama, Satoshi Kura, Hiroshi Unno
Comments: Preprint
Subjects: Logic in Computer Science (cs.LO)
[27] arXiv:2510.11293 [pdf, other]
Title: Cut-elimination for the alternation-free modal mu-calculus
Bahareh Afshari, Johannes Kloibhofer
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[28] arXiv:2510.11199 [pdf, other]
Title: Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Kaustuv Chaudhuri (Inria, France), Daniele Nantes-Sobrinho (Imperial College, UK)
Journal-ref: EPTCS 431, 2025
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[29] arXiv:2510.11080 [pdf, html, other]
Title: Non-Expansive Fuzzy Coalgebraic Logic
Stefan Gebhart, Lutz Schröder, Paul Wild
Subjects: Logic in Computer Science (cs.LO)
[30] arXiv:2510.10189 [pdf, html, other]
Title: Formally Verified Certification of Unsolvability of Temporal Planning Problems
David Wang, Mohammad Abdulaziz
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[31] arXiv:2510.10131 [pdf, html, other]
Title: Proof Strategy Extraction from LLMs for Enhancing Symbolic Provers
Jian Fang, Yican Sun, Yingfei Xiong
Subjects: Logic in Computer Science (cs.LO)
[32] arXiv:2510.09950 [pdf, html, other]
Title: Modular Counting over 3-Element and Conservative Domains
Andrei A. Bulatov, Amirhossein Kazeminia
Subjects: Logic in Computer Science (cs.LO)
[33] arXiv:2510.10701 (cross-list from cs.AI) [pdf, other]
Title: Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
Yang Xu, Shuwei Chen, Jun Liu, Feng Cao, Xingxing He
Comments: 38 pages, 8 figures
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[34] arXiv:2510.10531 (cross-list from cs.PL) [pdf, html, other]
Title: A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version)
Guillaume Ambal, George Hodgkins, Mark Madler, Gregory Chockler, Brijesh Dongol, Joseph Izraelevitz, Azalea Raad, Viktor Vafeiadis
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
[35] arXiv:2510.09782 (cross-list from cs.AI) [pdf, other]
Title: The Geometry of Reasoning: Flowing Logics in Representation Space
Yufa Zhou, Yixiao Wang, Xunjian Yin, Shuyan Zhou, Anru R. Zhang
Comments: Code: this https URL
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

Mon, 13 Oct 2025 (showing 6 of 6 entries )

[36] arXiv:2510.09292 [pdf, html, other]
Title: U-Turn: Enhancing Incorrectness Analysis by Reversing Direction
Flavio Ascari, Roberto Bruni, Roberta Gori, Azalea Raad
Comments: 35 pages, 13 figures. Conditionally accepted at POPL26
Subjects: Logic in Computer Science (cs.LO)
[37] arXiv:2510.09472 (cross-list from cs.CL) [pdf, html, other]
Title: Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
Manuel Vargas Guzmán, Jakub Szymanik, Maciej Malicki
Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[38] arXiv:2510.08934 (cross-list from math.LO) [pdf, html, other]
Title: The Fractal Logic of $Φ$-adic Recursion
Milan Rosko
Comments: Comments: 17 pages, 2 figures. Presents a Fibonacci-based Gödel numbering with polynomial-time modus ponens verification via linear Diophantine witnesses. Key result: modus ponens tautology checking reduces to $Δ_0$ algebraic constraint satisfaction in geometry
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[39] arXiv:2510.08672 (cross-list from quant-ph) [pdf, html, other]
Title: A Formalization of the Generalized Quantum Stein's Lemma in Lean
Alex Meiburg, Leonardo A. Lessa, Rodolfo R. Soldati
Comments: 20 pages, 2 figures, 7 code listings
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO)
[40] arXiv:2510.08577 (cross-list from cs.CC) [pdf, html, other]
Title: Psi-Turing Machines: Bounded Introspection for Complexity Barriers and Oracle Separations
Rafig Huseynzade
Comments: 60 pages, 6 figures. Includes dual formalizations in Lean and Isabelle, a Zero-Risk Map appendix, and CI-based stress tests; canonical statements fixed; alternates documented. Supplementary code and scripts: this https URL
Subjects: Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[41] arXiv:2509.14305 (cross-list from cs.CC) [pdf, html, other]
Title: An MDL-Style Cost Functional KC, Distribution-Preserving Reductions ($A2^d$), and an $AC^0$+log Lower Bound for 3SAT via Balanced 3XOR
Marko Lela
Comments: 11 pages, 3 tables. Appendices A and B (switching parameters and correlation exponent; 2-core facts). Ancillary dataset on Zenodo (DOI https://doi.org/10.5281/zenodo.17138272). ORCID 0009-0008-0768-5184
Subjects: Computational Complexity (cs.CC); Information Theory (cs.IT); Logic in Computer Science (cs.LO)
Total of 41 entries
Showing up to 50 entries per page: fewer | more | all
  • About
  • Help
  • contact arXivClick here to contact arXiv Contact
  • subscribe to arXiv mailingsClick here to subscribe Subscribe
  • Copyright
  • Privacy Policy
  • Web Accessibility Assistance
  • arXiv Operational Status
    Get status notifications via email or slack