cs.LO

Papers

• Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation (2026)
  Meghyn Bienvenu et al.
  0.00
• Model Checking Strategies from Synthesis Over Finite Traces (2023)
  Suguman Bansal and Yong Li and Lucas Martinelli Tabajara and Moshe Y. Vardi and Andrew Wells
  —
• Synthesizing Composite Hierarchical Structure from Symbolic Music Corpora (2025)
  Ilana Shapiro et al.
  —
• Epistemic Skills: Reasoning about Knowledge and Oblivion (2026)
  Xiaolong Liang et al.
  —
• Ineffectiveness for Search and Undecidability of PCSP Meta-Problems (2026)
  Alberto Larrauri
  —
• Domain size asymptotics for Markov logic networks (2026)
  Vera Koponen
  —
• A Logical View of GNN-Style Computation and the Role of Activation Functions (2026)
  Pablo Barcel\'o et al.
  —
• MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics (2026)
  Xinyu Liu et al.
  —
• FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints (2026)
  Jorge Fandinno et al.
  —
• Axis-Aligned Semantics for ODRL: Resolving Dimensional Ambiguity in Policy Constraints (2026)
  Daham Mustafa et al.
  —
• TorchLean: Formalizing Neural Networks in Lean (2026)
  Robert Joseph George et al.
  —
• Compositional Consistency-Guided Decoding for Three-Way Logical Question Answering (2026)
  Tianyi Huang et al.
  —
• Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries (2026)
  Alan L. McCann
  —
• Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries (2026)
  Alan L. McCann
  —
• Adaptive Teacher Exposure for Self-Distillation in LLM Reasoning (2026)
  Zihao Han et al.
  —
• Optimal LTLf Synthesis (2026)
  Yujian Cao et al.
  —
• Expressive Power of Deep Homomorphism Networks over Relational Databases (2026)
  Moritz Sch\"onherr et al.
  —
• NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic (2026)
  Paapa Kwesi Quansah et al.
  —
• ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization (2026)
  Riyaz Ahuja et al.
  —
• Mediative Fuzzy Logic: From Type-1 Foundations to Type-2, Type-3 and Quantum Extensions (2026)
  Oscar Montiel Ross
  —
• Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems (2026)
  Shubham Agarwal et al.
  —
• Agentic Proving for Program Verification (2026)
  Alessandro Sosso et al.
  —
• BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization (2026)
  Bruno F. Louren\c{c}o et al.
  —
• Methods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof (2026)
  Alfredo Metere
  —
• Saturating Scaling Laws for Equational Discovery: A Phenomenology of Growth Dynamics in Three Toy Substrates with Two Real-World Replications (2026)
  Fabio Rovai
  —
• Towards Verifiable Transformers: Solver-Checkable Circuit Explanations (2026)
  Neel Somani
  —
• Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks (2026)
  David Boetius et al.
  —
• On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks (2026)
  Sai Sandeep Damera et al.
  —
• Influence-Inspired Spectral Rotations for Extreme Low-Bit LLM Quantization (2026)
  Gorgi Pavlov
  —
• Specification-Based Code-Text-Code Reengineering for LLM-Mediated Software Evolution (2026)
  Oleg Grynets et al.
  —
• Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4 (2026)
  Austin Shen et al.
  —
• Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint) (2026)
  Paul Sigloch et al.
  —
• MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving (2026)
  Jinzheng Li et al.
  —
• ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning (2026)
  Adnan Rashid
  —
• Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint) (2026)
  Christoph Benzm\"uller et al.
  —
• 2-ASP(Q) programs with weak constraints: Complexity and efficient implementation (2026)
  Andrea Cuteri et al.
  —
• Automating Formal Verification with Agent-Guided Tree Search (2026)
  Leo Yao
  —
• Explaining is Harder Than Predicting Alone: Evaluating Concept-based Explanations of MLLMs as ICL Visual Classifiers (2026)
  Carmen Quiles-Ram\'irez et al.
  —
• Risk-Controlled Lean-as-Judge for Natural-Language Mathematical Reasoning (2026)
  Pauline Bourigault et al.
  —
• Token Optimization Strategies for LLM-Based Oracle-to-PostgreSQL Migration (2026)
  Oleg Grynets et al.
  —
• Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability (2026)
  Leizhen Zhang et al.
  —
• The Complexity of Verifying Feedforward Neural Networks in Quantised Settings (2026)
  Eric Alsmann et al.
  —
• Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability (2026)
  Pedro Orvalho et al.
  —
• Neural Network Verification using Partial Multi-Neuron Relaxation (2026)
  Ido Shmuel et al.
  —