001 Checking Information Flow in Cloud-based IoT Access Control Policies (Extended Version) arXiv Paper Lorenzo Ceragioli et al. Yesterday 002 Formalization of security arXiv Paper Gilles Barthe Yesterday 003 Implementing Homomorphic Encryption-Based Logic Locking in System-on-Chip Designs arXiv Paper Ye Ziyang et al. Yesterday 004 LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean arXiv Paper Pablo Manrique et al. Yesterday 005 Selective Credibility-Limited Belief Update arXiv Paper Theofanis Aravanis et al. Yesterday 006 Shapes from Examples: Foundations of Shape Learning in Recursive SHACL arXiv Paper Bente Gortworst, Cem Okulmus et al. Yesterday 007 PIE-APT: A Unified Framework for Temporal Planning and Contradiction Hunting via Incremental Direct-Derivation Abduction arXiv Paper Amir Sharafi, Alireza Shahbazi 2 days ago 008 Property-driven Causal Abstractions for Markov Decision Processes arXiv Paper Jule Schmidt, Maximilian Weininger et al. 2 days ago 009 A Computational Ethical Framework for Financial Digital Phenotyping for Mental Health arXiv Paper Oluwadara Adedeji, M. Farayola et al. 4 days ago 010 An Unofficial FastLAS Tutorial: A Programmer's Guide arXiv Paper F. A. D'Asaro 5 days ago 011 Formalizing Flag Algebras in Lean arXiv Paper Gyeong-Won Jeong, Seonghun Park et al. 5 days ago 012 Mission-Level Runtime Assurance for LLM-Assisted ISR Swarms over a Verification-Aware Fabric arXiv Paper Nikolaos Kekatos, Stylianos Basagiannis et al. 5 days ago 013 Reason Popper-ly: Patching In-Context Reasoning with Inductive Logic Programming arXiv Paper Zirong Chen, Meiyi Ma 6 days ago 014 From Hybrid Mechanistic--Data-Driven Modeling Toward Neuro-Symbolic AI: What, Why, and How arXiv Paper Moein E. Samadi, Andreas Schuppert 7 days ago 015 Animation, Verification and Visualisation of Prolog Transition Systems with ProB arXiv Paper Jan Gruteser, Michael Leuschel et al. Jul 23 016 Anti-Goal Reasoning: Rethinking the Theory of Goal Reasoning in Non-Axiomatic Logic arXiv Paper Bowen Xu Jul 23 017 Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Report arXiv Paper Pedro Cabalar, Jorge Fandinno et al. Jul 23 018 Case study: proving sqrt(2) irrational with LPTP and an LLM arXiv Paper Fred Mesnard et al. Jul 23 019 Case study: solving P-99 with LPTP and an LLM arXiv Paper Fred Mesnard et al. Jul 23 020 Chess\_db: A framework for working with large chess game datasets arXiv Paper Nicos Angelopoulos, J. Wielemaker Jul 23 021 Declarative Problem Solving in UAM Strategic Deconfliction arXiv Paper Gioacchino Sterlicchio, A. Oddi et al. Jul 23 022 Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systems arXiv Paper A. Takemura, Katsumi Inoue Jul 23 023 Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB arXiv Paper Katharina Engels, Jan Gruteser et al. Jul 23 024 Explainability Framework for Policy-Aware Autonomous Agents arXiv Paper Heather Merhout, Daniela Inclezan Jul 23 025 Explainable Belief Harmonization under Dynamic Epistemic Partitions arXiv Paper Adam Kostka, J. Chudziak Jul 23 026 GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI arXiv Paper Ehud Shapiro Jul 23 027 How Rules Represent Causal Knowledge: Causal Modeling with Probabilistic Logic Programming arXiv Paper Kilian Rueckschloss, Felix Weitkaemper Jul 23 028 Hybrid MKNF with Classical Negation in the Rule Component arXiv Paper A. Sheela, Christophe Rey et al. Jul 23 029 Logic Programming Semantics for Causal Processes arXiv Paper Felix Weitkämper Jul 23 030 Representative Sets in Propositional Abduction arXiv Paper J. Schmidt, Mohamed Maizia et al. Jul 23 031 Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study arXiv Paper Yan Huang, Xubing Hao et al. Jul 23 032 Towards a Certifying Grounder arXiv Paper Daimy Van Caudenberg, Alexander Ek et al. Jul 23 033 Operational Identity: A Finite Audit of Declared and Implemented Rules of Sameness arXiv Paper Denise M. Case Jul 22 034 The Dynamic Turn in Paraconsistency arXiv Paper Rafael Ongaratto, Hans van Ditmarsch Jul 22 035 Lookahead Branching for Neural Network Verification arXiv Paper Liam Davis, Duo Zhou et al. Jul 19 036 On the Depth Scalability of Logic Gate Networks arXiv Paper Taegun An, Dohun Kim et al. Jul 19 037 Quantifying Diversity of Thought: A Predictive Law of Weighted LLM Ensemble Lift arXiv Paper Junade Ali Jul 19 038 Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning arXiv Paper Lucky Verma Jul 19 039 PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs arXiv Paper Neel Somani Jul 18 040 A cubical formalisation of topos causal models: intervention, sheaf gluing, and the intuitionistic do-calculus arXiv Paper Karen Sargsyan Jul 17 041 Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience arXiv Paper Ruben Martins Jul 16 042 MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku arXiv Paper Pedro Orvalho, Guillem Alenyà et al. Jul 14 043 Interventional Grounding Audits: Black-Box Premise-Dependency Tests for LLM Chain-of-Thought via Predicate Substitution arXiv Paper H. Nakamura Jul 11 044 Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability arXiv Paper Shirley Yu, Ruben Martins Jul 10 045 A Formalization of the Mean-Field Derivation of the Vlasov Equation arXiv Paper Joseph K. Miller Jul 9 046 From Patterns to Maze Structures: SMT-Based Path Synthesis and 2D/3D Construction arXiv Paper Shengyi Wang Jul 8 047 ITPEval: Benchmarking Formal Translation Across Interactive Theorem Provers arXiv Paper Jiayi Wu, Robert Joseph George et al. Jul 7 048 Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines arXiv Paper X. Fonseca Jul 6 049 PatchOptic for Shared-State LLM Workflows with Projected Views and Verified Structured Updates arXiv Paper Zhaoyu Bai, Jiaqin Cai Jul 6 050 Privacy-Preserving Robustness Verification for Neural Networks arXiv Paper Nianyun Song, Xiaokun Luan et al. Jul 6 051 The Changing Role of Symbolic Methods in Artificial Intelligence arXiv Paper Juntao Sun Jul 6 052 CSB: A Counting and Sampling tool for Bit-vectors arXiv Paper Arijit Shaw, K. Meel Jul 5 053 Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python arXiv Paper Akira Tanaka, Yusuke Kawamoto Jul 4 054 Composable Verification Pipelines for Multi-Agent Systems arXiv Paper Julian Alfredo Mendez, Andreas Brännström Jul 3 055 Replicating Belief, Not Bits: Epistemic State Replication for Agentic Systems arXiv Paper Junfei He, Deying Yu Jul 3 056 ADVENT: LLM-Driven Automatic Predicate Invention for ILP arXiv Paper Tingting Yu, Pei-Cing Huang et al. Jul 2 057 AgentLTL: A Trace-Verification Framework for Measuring, Enforcing, and Training Procedural Compliance in Tool-Using LLM Agents arXiv Paper L. Elkoussy, Julien Perez Jul 1 058 LRAT-Catcher: Importing SAT Solver Certificates into Lean4 by Reflection arXiv Paper Stefan Szeider Jul 1 059 Theoria: Rewrite-Acceptability Verification over Informal Reasoning States arXiv Paper Michael Saldivar, Ben Slivinski Jul 1 060 A Lifecycle and Application-Stack Survey of Large Language Model Vulnerabilities: Attacks, Risks, Defenses, and Open Problems arXiv Paper Seyedalhosseini Natanzi, Bo Tang Jun 30