cs.LO

Papers

• Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation (2026)
  Meghyn Bienvenu et al.
  —
• On Continuous Local BDD-Based Search for Hybrid SAT Solving (2021)
  Anastasios Kyrillidis et al.
  —
• NICE: An Algorithm for Nearest Instance Counterfactual Explanations (2022)
  Dieter Brughmans et al.
  —
• A Verified Implementation of B+-Trees in Isabelle/HOL (2022)
  Niels M\"undler and Tobias Nipkow
  —
• Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs (2023)
  Yunuo Cen et al.
  —
• Ineffectiveness for Search and Undecidability of PCSP Meta-Problems (2026)
  Alberto Larrauri
  —
• Attractors Is All You Need: Parity Games In Polynomial Time (2025)
  Rick van der Heijden
  —
• A Logical View of GNN-Style Computation and the Role of Activation Functions (2026)
  Pablo Barcel\'o et al.
  —
• Structural Indexing of Relational Databases for the Evaluation of Free-Connex Acyclic Conjunctive Queries (2026)
  Cristian Riveros et al.
  —
• TorchLean: Formalizing Neural Networks in Lean (2026)
  Robert Joseph George et al.
  —
• Expressive Power of Deep Homomorphism Networks over Relational Databases (2026)
  Moritz Sch\"onherr et al.
  —
• ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization (2026)
  Riyaz Ahuja et al.
  —
• BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization (2026)
  Bruno F. Louren\c{c}o et al.
  —
• 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
  —
• The Complexity of Verifying Feedforward Neural Networks in Quantised Settings (2026)
  Eric Alsmann et al.
  —
• Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation (2026)
  Alexis de Colnet et al.
  —