Revisiting Assumptions Ordering in CAR-Based Model Checking

Authors: Yibo Dong, Yu Chen, Jianwen Li, Geguang Pu, Ofer Strichman

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 44:4032-4037

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2411.00026

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images

Authors: Bloch, Isabelle, Bonnot, Enzo, Gori, Pietro, La Barbera, Giammarco, Sarnacki, Sabine

Contributors: Gori, Pietro

Source: 2025 IEEE International Conference on Fuzzy Systems (FUZZ). :1-6

Subject Terms: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [SDV.IB] Life Sciences [q-bio]/Bioengineering, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic, Computer Science - Artificial Intelligence, segmentation, Mathematics - Logic, fuzzy semantics, fiber bundles, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), FOS: Mathematics, spatial reasoning, recognition, Logic (math.LO)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2505.00173
https://telecom-paris.hal.science/hal-05052868v1

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers

Authors: Bartholomew, Michael, Lee, Joohyung

Subject Terms: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2506.10708

Encoding call-by-push-value in the pi-calculus

Authors: Bennetzen, Benjamin, Kristensen, Nikolaj Rossander, Steffensen, Peter Buus

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Computation and Language

Access URL: http://arxiv.org/abs/2506.10584

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library

Authors: Bilotta, Antonella

Subject Terms: Computer Science - Logic in Computer Science, Mathematics - Logic

Access URL: http://arxiv.org/abs/2506.10048

On the cut-elimination of the modal $\mu$-calculus: Linear Logic to the rescue

Authors: Bauer, Esaïe, Saurin, Alexis

Subject Terms: Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2506.09791

From Partial to Monadic: Combinatory Algebra with Effects

Authors: Cohen, Liron, Grunfeld, Ariel, Kirst, Dominik, Miquey, Étienne

Source: 10th International Conference on Formal Structures for Computation and Deduction, Jul 2025, Birmingham, France

Subject Terms: Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2506.09453

Syntactic Effectful Realizability in Higher-Order Logic

Authors: Cohen, Liron, Grunfeld, Ariel, Kirst, Dominik, Miquey, Étienne

Source: Logic in Computer Science (LICS), Jun 2025, Singapour, Singapore

Subject Terms: Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2506.09458

Abstraction-Based Proof Production in Formal Verification of Neural Networks

Authors: Elboher, Yizhak Yisrael, Isac, Omri, Katz, Guy, Ladner, Tobias, Wu, Haoze

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence

Access URL: http://arxiv.org/abs/2506.09455

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy

Authors: De Mol, Liesbeth, Matiyasevich, Yuri V., Omodeo, Eugenio G., Policriti, Alberto, Sieg, Wilfried, Weyuker, Elaine J.

Subject Terms: Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2506.08588

Compositional Reasoning for Parametric Probabilistic Automata

Authors: Mertens, Hannah, Quatmann, Tim, Katoen, Joost-Pieter

Subject Terms: Computer Science - Logic in Computer Science, Mathematics - Probability

Access URL: http://arxiv.org/abs/2506.08525

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations

Authors: Bassan, Shahaf, Elboher, Yizhak Yisrael, Ladner, Tobias, Althoff, Matthias, Katz, Guy

Subject Terms: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2506.08505

LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs

Authors: Patel, Manooshree, Bhattacharyya, Rayna, Lu, Thomas, Mehta, Arnav, Voss, Niels, Norouzi, Narges, Ranade, Gireeja

Subject Terms: Computer Science - Artificial Intelligence, Computer Science - Human-Computer Interaction, Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2506.08321

Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling

Authors: Huang, Ruanqianqian, Monroe, Ayana, de Halleux, Peli, Lerner, Sorin, Bjørner, Nikolaj

Subject Terms: Computer Science - Human-Computer Interaction, Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2506.08294

Approximate Axiomatization for Differentially-Defined Functions

Authors: Platzer, André, Qian, Long

Subject Terms: Computer Science - Logic in Computer Science, Mathematics - Logic, 03B70, 03F03, 65L70, 65G20, F.4.1, F.3.1, G.1.7, I.2.3

Access URL: http://arxiv.org/abs/2506.08233

What makes an Ensemble (Un) Interpretable?

Authors: Bassan, Shahaf, Amir, Guy, Zehavi, Meirav, Katz, Guy

Subject Terms: Computer Science - Machine Learning, Computer Science - Computational Complexity, Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2506.08216

Compiling Metric Temporal Answer Set Programming

Authors: Becker, Arvid, Cabalar, Pedro, Diéguez, Martin, Romero, Javier, Hahn, Susana, Schaub, Torsten

Subject Terms: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, I.2.4, I.2.8

Access URL: http://arxiv.org/abs/2506.08150

On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions

Authors: Jensen, Nicolaj Ø., Larsen, Kim G., Lime, Didier, Srba, Jiří

Subject Terms: Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2506.07802

Premise Selection for a Lean Hammer

Authors: Zhu, Thomas, Clune, Joshua, Avigad, Jeremy, Jiang, Albert Qiaochu, Welleck, Sean

Subject Terms: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2506.07477

CNFs and DNFs with Exactly $k$ Solutions

Authors: Chandran, L. Sunil, Gajjala, Rishikesh, Meel, Kuldeep S.

Subject Terms: Computer Science - Discrete Mathematics, Computer Science - Data Structures and Algorithms, Computer Science - Logic in Computer Science, Mathematics - Combinatorics, Mathematics - Logic

Access URL: http://arxiv.org/abs/2506.07268