Logic in Computer Science

Authors and titles for January 2024

[101] arXiv:2401.10579 (cross-list from quant-ph) [pdf, other]

Title: Trade-offs between classical and quantum space using spooky pebbling

Arend-Jan Quist, Alfons Laarman

Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO)

[102] arXiv:2401.10781 (cross-list from cs.AI) [pdf, other]

Title: Metric Dynamic Equilibrium Logic

Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas, Torsten Schaub, Anna Schuhmann

Comments: arXiv admin note: text overlap with arXiv:2304.14778

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[103] arXiv:2401.10937 (cross-list from econ.TH) [pdf, html, other]

Title: Subjective Causality

Joseph Y. Halpern, Evan Piermont

Subjects: Theoretical Economics (econ.TH); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[104] arXiv:2401.10969 (cross-list from cs.AI) [pdf, other]

Title: MacroSwarm: A Field-based Compositional Framework for Swarm Programming

Gianluca Aguzzi, Roberto Casadei, Mirko Viroli

Journal-ref: Logical Methods in Computer Science, Volume 21, Issue 3 (August 5, 2025) lmcs:12915

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[105] arXiv:2401.11364 (cross-list from cs.CR) [pdf, html, other]

Title: Folding Custom Gates with Verifier Input

Aard Vark, Yan X Zhang

Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

[106] arXiv:2401.11627 (cross-list from cs.LG) [pdf, html, other]

Title: Tight Verification of Probabilistic Robustness in Bayesian Neural Networks

Ben Batten, Mehran Hosseini, Alessio Lomuscio

Comments: Accepted at AISTATS 2024

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[107] arXiv:2401.11807 (cross-list from math.LO) [pdf, html, other]

Title: The weakness of finding descending sequences in ill-founded linear orders

Jun Le Goh, Arno Pauly, Manlio Valenti

Comments: This is an extended version of the homonymous paper published in: Twenty Years of Theoretical and Practical Synergies. CiE 2024. Lecture Notes in Computer Science, vol 14773, pp. 339-350

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Combinatorics (math.CO)

[108] arXiv:2401.11898 (cross-list from cs.AI) [pdf, other]

Title: Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving

Salwa Tabet Gonzalez (University of Strasbourg), Predrag Janičić (University of Belgrade), Julien Narboux (University of Strasbourg)

Comments: In Proceedings ADG 2023, arXiv:2401.10725

Journal-ref: EPTCS 398, 2024, pp. 21-37

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[109] arXiv:2401.11905 (cross-list from cs.AI) [pdf, other]

Title: Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry

Pedro Quaresma (University of Coimbra), Pierluigi Graziani (University of Urbino), Stefano M. Nicoletti (University of Twente)

Comments: In Proceedings ADG 2023, arXiv:2401.10725

Journal-ref: EPTCS 398, 2024, pp. 85-100

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[110] arXiv:2401.12113 (cross-list from cs.LG) [pdf, html, other]

Title: Extracting Formulae in Many-Valued Logic from Deep Neural Networks

Yani Zhang, Helmut Bölcskei

Comments: Signicant extension of the previous version

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[111] arXiv:2401.12641 (cross-list from math.LO) [pdf, html, other]

Title: Sequential discontinuity and first-order problems

Arno Pauly, Giovanni Soldà

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); General Topology (math.GN)

[112] arXiv:2401.12731 (cross-list from cs.AI) [pdf, html, other]

Title: The Distributional Uncertainty of the SHAP score in Explainable Machine Learning

Santiago Cifuentes, Leopoldo Bertossi, Nina Pardal, Sergio Abriola, Maria Vanina Martinez, Miguel Romero

Comments: In ECAI 2024 proceedings

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[113] arXiv:2401.12744 (cross-list from cs.PL) [pdf, html, other]

Title: Monadic Intersection Types, Relationally (Extended Version)

Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[114] arXiv:2401.12947 (cross-list from cs.CL) [pdf, html, other]

Title: Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion

Dylan Zhang, Curt Tigges, Zory Zhang, Stella Biderman, Maxim Raginsky, Talia Ringer

Comments: arXiv admin note: text overlap with arXiv:2305.14699

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[115] arXiv:2401.13597 (cross-list from math.LO) [pdf, other]

Title: Base-extension Semantics for Modal Logic

Timo Eckhardt, David J. Pym

Comments: Accepted to be published in the Logic Journal of the IGPL

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[116] arXiv:2401.14244 (cross-list from cs.SE) [pdf, html, other]

Title: Contract Usage and Evolution in Android Mobile Applications

David R. Ferreira, Alexandra Mendes, João F. Ferreira

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[117] arXiv:2401.14286 (cross-list from cs.PL) [pdf, other]

Title: Equivalence of Applicative Functors and Multifunctors

Andreas Abel

Comments: 6 pages

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[118] arXiv:2401.14303 (cross-list from cs.FL) [pdf, other]

Title: On Some Complexity Results for Even Linear Languages

Liliana Cojocaru

Comments: 16 pages, no figure. arXiv admin note: substantial text overlap with arXiv:1512.09207

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[119] arXiv:2401.14320 (cross-list from cs.SE) [pdf, other]

Title: Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis

Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl

Comments: 10 pages; to appear at the 39th ACM/SIGAPP Symposium on Applied Computing (SAC '24)

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[120] arXiv:2401.14461 (cross-list from cs.AI) [pdf, html, other]

Title: Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

Haoze Wu, Omri Isac, Aleksandar Zeljić, Teruhiro Tagomori, Matthew Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark Barrett

Comments: Condensed version accepted at CAV'24

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[121] arXiv:2401.14961 (cross-list from cs.LG) [pdf, other]

Title: Set-Based Training for Neural Network Verification

Lukas Koller, Tobias Ladner, Matthias Althoff

Comments: published at Transactions on Machine Learning Research (TMLR)

Subjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

[122] arXiv:2401.15186 (cross-list from cs.CC) [pdf, other]

Title: The Rise of Plurimorphisms: Algebraic Approach to Approximation

Libor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola, Stanislav Živný

Comments: A full version of a LICS 2024 paper

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)

[123] arXiv:2401.15384 (cross-list from cs.FL) [pdf, other]

Title: Positional $ω$-regular languages

Antonio Casares, Pierre Ohlmann

Comments: Full version of a paper accepted at LICS 2024

Subjects: Formal Languages and Automata Theory (cs.FL); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

[124] arXiv:2401.16215 (cross-list from cs.LG) [pdf, other]

Title: Learning big logical rules by joining small rules

Céline Hocquette, Andreas Niskanen, Rolf Morel, Matti Järvisalo, Andrew Cropper

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[125] arXiv:2401.16336 (cross-list from math.AT) [pdf, html, other]

Title: Computational Synthetic Cohomology Theory in Homotopy Type Theory

Axel Ljungström, Anders Mörtberg

Comments: v2: minor typos, updated acknowledgements

Journal-ref: Math. Struct. Comp. Sci. 35 (2025) e16

Subjects: Algebraic Topology (math.AT); Logic in Computer Science (cs.LO)

[126] arXiv:2401.16383 (cross-list from cs.LG) [pdf, other]

Title: Learning logic programs by finding minimal unsatisfiable subprograms

Andrew Cropper, Céline Hocquette

Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[127] arXiv:2401.16998 (cross-list from cs.DS) [pdf, other]

Title: The Sherali-Adams and Weisfeiler-Leman hierarchies in (Promise Valued) Constraint Satisfaction Problems

Libor Barto, Silvia Butti, Víctor Dalmau

Comments: A joint extended version of arXiv:2107.02956 and arXiv:2205.04805

Subjects: Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

[128] arXiv:2401.17159 (cross-list from cs.AI) [pdf, html, other]

Title: Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis

Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel Day, Florin Manea, Vijay Ganesh

Comments: Accepted at IJCAI 2024

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[129] arXiv:2401.17169 (cross-list from cs.CL) [pdf, html, other]

Title: Conditional and Modal Reasoning in Large Language Models

Wesley H. Holliday, Matthew Mandelkern, Cedegao E. Zhang

Comments: Accepted for The 2024 Conference on Empirical Methods in Natural Language Processing (EMNLP 2024). Final version includes additional models and additional inference patterns

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[130] arXiv:2401.17444 (cross-list from cs.FL) [pdf, html, other]

Title: Higher-Dimensional Timed Automata for Real-Time Concurrency

Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Philipp Schlehuber-Caissier

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[131] arXiv:2401.18029 (cross-list from cs.PL) [pdf, other]

Title: Context-Sensitive Abstract Interpretation of Dynamic Languages

Franciszek Piszcz

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)