Logic in Computer Science

Authors and titles for recent submissions

• Wed, 22 Oct 2025
• Tue, 21 Oct 2025
• Mon, 20 Oct 2025
• Fri, 17 Oct 2025
• Thu, 16 Oct 2025

See today's new changes

Fri, 17 Oct 2025 (continued, showing last 4 of 6 entries )

[28] 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)

[29] arXiv:2510.14361 [pdf, html, other]

Title: T-BAT semantics and its logics

Pawel Pawlowski

Subjects: Logic in Computer Science (cs.LO)

[30] 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)

[31] 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 7 of 8 entries )

[32] 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)

[33] 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)

[34] 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)

[35] 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)

[36] 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)

[37] 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)

[38] 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)