We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic in Computer Science

Authors and titles for recent submissions

[ total of 35 entries: 1-25 | 26-35 ]
[ showing 25 entries per page: fewer | more | all ]

Mon, 20 May 2024

[1]  arXiv:2405.10912 [pdf, other]
Title: Synthesis of Temporal Causality
Authors: Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
Comments: 36th International Conference on Computer Aided Verification (CAV 2024)
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:2405.10894 [pdf, other]
Title: Labelled Well Quasi Ordered Classes of Bounded Linear Clique Width
Authors: Aliaume Lopez
Comments: 24 pages
Subjects: Logic in Computer Science (cs.LO)
[3]  arXiv:2405.10887 [pdf, ps, other]
Title: Preservation theorems on sparse classes revisited
Authors: Anuj Dawar, Ioannis Eleftheriadis
Comments: 16 pages
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[4]  arXiv:2405.10611 [pdf, ps, other]
Title: A Certified Proof Checker for Deep Neural Network Verification
Authors: Remi Desmartin, Omri Isac, Ekaterina Komendantskaya, Kathrin Stark, Grant Passmore, Guy Katz
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[5]  arXiv:2405.10924 (cross-list from cs.LG) [pdf, other]
Title: Boosting Few-Pixel Robustness Verification via Covering Verification Designs
Authors: Yuval Shapira, Naor Wiesel, Shahar Shabelman, Dana Drachsler-Cohen
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[6]  arXiv:2309.07806 (cross-list from cs.FL) [pdf, other]
Title: Feasability of Learning Weighted Automata on a Semiring
Authors: Laure Daviaud, Marianne Johnson
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

Fri, 17 May 2024

[7]  arXiv:2405.10308 [pdf, ps, other]
Title: Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
Authors: Eden Frenkel, Tej Chaged, Oded Padon, Sharon Shoham
Subjects: Logic in Computer Science (cs.LO)
[8]  arXiv:2405.10152 [pdf, ps, other]
Title: Braids, twists, trace and duality in combinatory algebras
Authors: Masahito Hasegawa, Serge Lechenne
Comments: 32 pages. To appear in Proc. 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '24)
Subjects: Logic in Computer Science (cs.LO)
[9]  arXiv:2405.10149 [pdf, other]
Title: Delooping cyclic groups with lens spaces in homotopy type theory
Authors: Samuel Mimram, Émile Oleon
Subjects: Logic in Computer Science (cs.LO); Algebraic Topology (math.AT)
[10]  arXiv:2405.10099 [pdf, other]
Title: Compositional Value Iteration with Pareto Caching
Authors: Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo
Comments: Extended version (includes the Appendix) of the paper accepted at CAV-24
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:2405.10094 [pdf, other]
Title: Decidability of Quasi-Dense Modal Logics
Authors: Piotr Ostropolski-Nalewaja, Tim S. Lyon
Comments: preprint; accepted to LICS 2024
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[12]  arXiv:2405.09946 [pdf, other]
Title: On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
Authors: Hugo Herbelin (PICUBE, IRIF)
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[13]  arXiv:2405.10215 (cross-list from cs.LG) [pdf, other]
Title: SMLP: Symbolic Machine Learning Prover (User Manual)
Authors: Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
Comments: arXiv admin note: text overlap with arXiv:2402.01415
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC); Optimization and Control (math.OC)
[14]  arXiv:2405.10055 (cross-list from quant-ph) [pdf, ps, other]
Title: What are kets?
Authors: Yuri Gurevich, Andreas Blass
Comments: Bulletin of the EATCS 141 October 2023
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO)
[15]  arXiv:2405.10045 (cross-list from cs.DB) [pdf, other]
Title: Global Benchmark Database
Authors: Markus Iser, Christoph Jabs
Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Thu, 16 May 2024

[16]  arXiv:2405.09504 [pdf, other]
Title: Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
Authors: Thorsten Wißmann, Stefan Milius
Subjects: Logic in Computer Science (cs.LO)
[17]  arXiv:2405.09281 [pdf, ps, other]
Title: Localized Attractor Computations for Infinite-State Games (Full Version)
Authors: Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak
Comments: This is a full version of paper accepted at CAV 2024
Subjects: Logic in Computer Science (cs.LO)
[18]  arXiv:2405.09396 (cross-list from cs.FL) [pdf, ps, other]
Title: $O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof
Authors: Marco B. Caminati
Comments: dlt 2024
Subjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Logic (math.LO)
[19]  arXiv:2405.09391 (cross-list from cs.PL) [pdf, ps, other]
Title: Compositional imprecise probability
Authors: Jack Liell-Cock, Sam Staton
Comments: Draft. Feedback welcome
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Category Theory (math.CT); Probability (math.PR)
[20]  arXiv:2405.09146 (cross-list from math.CO) [pdf, other]
Title: First order distinguishability of sparse random graphs
Authors: Tal Hershko, Maksim Zhukovskii
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)
[21]  arXiv:2405.08863 (cross-list from hep-ph) [pdf, ps, other]
Title: HepLean: Digitalising high energy physics
Authors: Joseph Tooby-Smith
Comments: 16 pages. Comments are welcome
Subjects: High Energy Physics - Phenomenology (hep-ph); Logic in Computer Science (cs.LO); High Energy Physics - Theory (hep-th)

Wed, 15 May 2024

[22]  arXiv:2405.08647 [pdf, other]
Title: Output-decomposed Learning of Mealy Machines
Authors: Rick Koenders, Joshua Moerman
Comments: LearnAut 2024
Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG)
[23]  arXiv:2405.08104 [pdf, ps, other]
Title: Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report)
Authors: Kirstin Peters, Nobuko Yoshida
Comments: Technical report of the paper Separation and Encodability in Mixed Choice Multiparty Sessions by Kirstin Peters and Nobuko Yoshida at LICS'24
Subjects: Logic in Computer Science (cs.LO)
[24]  arXiv:2405.08372 (cross-list from cs.PL) [pdf, ps, other]
Title: Reasoning about Interior Mutability in Rust using Library-Defined Capabilities
Authors: Federico Poli, Xavier Denis, Peter Müller, Alexander J. Summers
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

Tue, 14 May 2024 (showing first 1 of 11 entries)

[25]  arXiv:2405.07953 [pdf, ps, other]
Title: On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates
Authors: Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
Comments: 17 pages
Subjects: Logic in Computer Science (cs.LO)
[ total of 35 entries: 1-25 | 26-35 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2405, contact, help  (Access key information)