Logic in Computer Science

Authors and titles for November 2024

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

Title: Effective Littlestone Dimension

Valentino Delle Rose, Alexander Kozachinskiy, Tomasz Steifer

Comments: 12 pages

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

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

Title: Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer

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

[103] arXiv:2411.15515 (cross-list from cs.CC) [pdf, html, other]

Title: Metamathematics of Resolution Lower Bounds: A TFNP Perspective

Jiawei Li, Yuhao Li, Hanlin Ren

Comments: Abstract shortened due to constraints

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

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

Title: Portus: Linking Alloy with SMT-based Finite Model Finding

Ryan Dancy, Nancy A. Day, Owen Zila, Khadija Tariq, Joseph Poremba

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

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

Title: Kleene algebra with commutativity conditions is undecidable

Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi

Comments: Published at CSL 2025

Subjects: Logic (math.LO); Computational Complexity (cs.CC); Computation and Language (cs.CL); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

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

Title: Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs

Daniela Kaufmann, Jérémy Berthomieu

Comments: Accepted at 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2025

Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)

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

Title: Network Inversion and Its Applications

Pirzada Suhail, Hao Tang, Amit Sethi

Comments: arXiv admin note: substantial text overlap with arXiv:2410.16884, arXiv:2407.18002

Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Logic in Computer Science (cs.LO)

[108] arXiv:2411.18172 (cross-list from cs.CV) [pdf, html, other]

Title: Enhancing Computer Vision with Knowledge: a Rummikub Case Study

Simon Vandevelde, Laurent Mertens, Sverre Lauwers, Joost Vennekens

Comments: Submitted to ESANN2025

Subjects: Computer Vision and Pattern Recognition (cs.CV); Logic in Computer Science (cs.LO)

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

Title: Probabilistic consequence relations

Paul Égré, David Ripley

Comments: To appear in the Journal of Logic and Computation

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