Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Logic in Computer Science

Authors and titles for recent submissions

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