Amir M. Ahmadian, Hazem Torfah: Statistical Verification of Quantitative Hyperproperties: Beyond Boolean Quantification https://arxiv.org/abs/2608.03694 https://arxiv.org/pdf/2608.03694 https://arxiv.org/html/2608.03694

Raja Oktovin O. P. Damanik, Alwen Tiu: Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction https://arxiv.org/abs/2608.03274 https://arxiv.org/pdf/2608.03274 https://arxiv.org/html/2608.03274

Yuxu Chen, Hui Kou, Zhenchao Lyu: Finite-valuation approximable structures: a solution to the Jung--Tix problem of probabilistic powerdomains https://arxiv.org/abs/2608.03073 https://arxiv.org/pdf/2608.03073 https://arxiv.org/html/2608.03073

Sophie Nagler: Towards Automated Proof-Theoretic Semantics: Inference-Behaviour Semantics for 3-Dimensional K3 and LP https://arxiv.org/abs/2608.02654 https://arxiv.org/pdf/2608.02654 https://arxiv.org/html/2608.02654

[2026-08-05 Wed (UTC), 4 new articles found for csLO Logic in Computer Science]

R\'emy Cerda, Ugo Dal Lago: Staying Productive Under the Palm Trees. On Graded Coeffect Typing in the Tropical Semiring https://arxiv.org/abs/2608.02596 https://arxiv.org/pdf/2608.02596 https://arxiv.org/html/2608.02596

Emanuel Kiero\'nski, Sebastian Rudolph, Mantas \v{S}imkus: The Triguarded Fragment https://arxiv.org/abs/2608.02013 https://arxiv.org/pdf/2608.02013 https://arxiv.org/html/2608.02013

Jort van Leenen, Tobias Kapp\'e: Octopus: Practical Equivalence Checking of P4 Packet Parsers https://arxiv.org/abs/2608.01982 https://arxiv.org/pdf/2608.01982 https://arxiv.org/html/2608.01982

Diego Marmsoler: Isabelle/STARK: A Formalization of zk-STARK in Isabelle/HOL https://arxiv.org/abs/2608.01965 https://arxiv.org/pdf/2608.01965 https://arxiv.org/html/2608.01965

Muhammad Najib: Alternating-Time Temporal Logic with Mean-Payoff Guarantees https://arxiv.org/abs/2608.01499 https://arxiv.org/pdf/2608.01499 https://arxiv.org/html/2608.01499

Lukas Zandomeneghi, Rainhard Dieter Findling, Marc Kurz: Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles https://arxiv.org/abs/2608.00768 https://arxiv.org/pdf/2608.00768 https://arxiv.org/html/2608.00768

Long Duc Nguyen, Tuyen Van Kieu, Khanh Van To: Compact SAT and MaxSAT Encodings for Business-to-Business Meeting Scheduling with Idle-Time Balancing https://arxiv.org/abs/2608.00614 https://arxiv.org/pdf/2608.00614 https://arxiv.org/html/2608.00614

Joseph Tafese, Milad Hooshyar, Sam Bayless, Nick Feng, Arie Gurfinkel: Verifiable Checks for Business Rule Consistency https://arxiv.org/abs/2608.00396 https://arxiv.org/pdf/2608.00396 https://arxiv.org/html/2608.00396

Yin Jun Phua: Pretrain on Small Synthetic Data, Scale Large for Free: Symmetry-Aware Foundation Model for Logic Rule Induction https://arxiv.org/abs/2608.00383 https://arxiv.org/pdf/2608.00383 https://arxiv.org/html/2608.00383

Jianlin Li, Nick Guo, Peter Ye, Yizhou Zhang: Tensor Probabilistic Model Checking of Finite-Horizon Markov Chains (Extended Version) https://arxiv.org/abs/2608.00374 https://arxiv.org/pdf/2608.00374 https://arxiv.org/html/2608.00374

[2026-08-04 Tue (UTC), 10 new articles found for csLO Logic in Computer Science]

Nils K\"uchenmeister, Alex Ivliev, D\"orthe Arndt, Markus Kr\"otzsch: Stratified Negation in RDF Rules: A Correct Approach (Extended Version) https://arxiv.org/abs/2607.28778 https://arxiv.org/pdf/2607.28778 https://arxiv.org/html/2607.28778

[2026-08-03 Mon (UTC), 1 new article found for csLO Logic in Computer Science]

Tobias Seufert, Christoph Scholl: Certified Sequential Sweep Without Unrolling https://arxiv.org/abs/2607.27498 https://arxiv.org/pdf/2607.27498 https://arxiv.org/html/2607.27498

Stephan Schulz: Some Experiments with Twee-Style Goal-Directedness https://arxiv.org/abs/2607.27442 https://arxiv.org/pdf/2607.27442 https://arxiv.org/html/2607.27442

Nicolai Kraus: Extension Types for Free https://arxiv.org/abs/2607.27387 https://arxiv.org/pdf/2607.27387 https://arxiv.org/html/2607.27387

Shuo Deng, Kenneth W. Shum: From Lecture Notes to Lean: Formalizing a Textbook on Probability Theory https://arxiv.org/abs/2607.27298 https://arxiv.org/pdf/2607.27298 https://arxiv.org/html/2607.27298

Ziyi Yang, Wenji Fang, Chen Chen, Zhiyao Xie, Hongce Zhang: CircuitProver: Agentic Lean 4 Theorem Proving with Reusable Circuit Proof Library for Hardware Verification https://arxiv.org/abs/2607.27259 https://arxiv.org/pdf/2607.27259 https://arxiv.org/html/2607.27259

[2026-07-31 Fri (UTC), 5 new articles found for csLO Logic in Computer Science]

Francesco Dagnino, Jacopo Emmenegger, Andrea Giusto: Free constructions for comprehension categories https://arxiv.org/abs/2607.27170 https://arxiv.org/pdf/2607.27170 https://arxiv.org/html/2607.27170

Shayaan Siddique, Ibrahim Mian: Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound https://arxiv.org/abs/2607.26413 https://arxiv.org/pdf/2607.26413 https://arxiv.org/html/2607.26413

Alain Chavarri Villarello, Sander R. Dahmen: Formally certifying number field invariants https://arxiv.org/abs/2607.26230 https://arxiv.org/pdf/2607.26230 https://arxiv.org/html/2607.26230

[2026-07-30 Thu (UTC), 3 new articles found for csLO Logic in Computer Science]

Ren\'e Thiemann: Verification of Provers and Solvers https://arxiv.org/abs/2607.25793 https://arxiv.org/pdf/2607.25793 https://arxiv.org/html/2607.25793

Ibrahim Mian, Shayaan Siddique: Kernel-Checked Exclusions for the Erd\H{o}s-Selfridge Odd Covering Problem: Any Odd Covering of $\mathbb{Z}$ Has lcm Exceeding 10000 https://arxiv.org/abs/2607.25628 https://arxiv.org/pdf/2607.25628 https://arxiv.org/html/2607.25628