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

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

See today's new changes

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

Thu, 16 Oct 2025 (continued, showing last 4 of 8 entries )

[15] 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)
[16] 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)
[17] 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)
[18] 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)

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

[19] 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)
[20] 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)
[21] 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)
[22] 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)
[23] 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)
[24] 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)
[25] 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)
[26] 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)
[27] 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)

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

[28] arXiv:2510.11419 [pdf, other]
Title: Representations
Paul Brunet (UPEC UP12, LACL)
Subjects: Logic in Computer Science (cs.LO)
[29] 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. The source files have been re-uploaded to address inconsistencies caused by the latest version of TeX Live
Subjects: Logic in Computer Science (cs.LO)
[30] 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)
[31] 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)
[32] 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)
[33] 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)
[34] 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)
[35] 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)
[36] 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)
[37] 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)
[38] 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)
Total of 39 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