iiinova — where your digital self keeps evolving

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 19h

J\"org Endrullis, Ievgen Ivanov, Femke van Raamsdonk: Decreasing Diagrams are Complete for Confluence arxiv.org/abs/2610.06368 arxiv.org/pdf/2610.06368 arxiv.org/html/2610.06368

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 19h

Abhinav Pomalapally, Arya Raeesi, Kevin Kai-Chun Chang, Beyazit Yalcinkaya, Sanjit A. Seshia: Scenario-Based Compositional Statistical Model Checking for Safety Specifications arxiv.org/abs/2610.05571 arxiv.org/pdf/2610.05571 arxiv.org/html/2610.05571

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 19h

Prithwish Jana, et al.: AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness arxiv.org/abs/2610.05367 arxiv.org/pdf/2610.05367 arxiv.org/html/2610.05367

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 19h

M\"ahlmann, de Mendez}, Schirrmacher, Siebertz, Stamoulis, Thilikos, Vigny: A Logic for Minor-Free Graph Classes: Model Checking, Dependence, and Combinatorial Reconfiguration arxiv.org/abs/2610.05263 arxiv.org/pdf/2610.05263 arxiv.org/html/2610.05263

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 19h

Ruoran Xu: Symbolic Search Is Not Exhausted: Persistent Proof-Space Exploration in Lean4 arxiv.org/abs/2610.04275 arxiv.org/pdf/2610.04275 arxiv.org/html/2610.04275

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 19h

Traian Serbanuta, Jun Xu, Andrei Stefanescu, Cosmin Radoi: Solving VeriContest with a Lean-Backed Rust Verifier arxiv.org/abs/2610.03994 arxiv.org/pdf/2610.03994 arxiv.org/html/2610.03994

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 19h

Junyi Liu, Tianchi Ren, Fei Guan, Xu Jiang, Zhe Jiang, Wang Yi, Nan Guan: ProsaBuddy: Assisting Mechanized Real-Time Schedulability Analysis with LLM-based Agents arxiv.org/abs/2610.03796 arxiv.org/pdf/2610.03796 arxiv.org/html/2610.03796

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 19h

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

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 05/10/2026

Johannes Weiser, Zafer Esen, Philipp R\"ummer: Symbolic Execution of Constrained Horn Clauses arxiv.org/abs/2610.03345 arxiv.org/pdf/2610.03345 arxiv.org/html/2610.03345

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 05/10/2026

Clemens Bombach, Rajmadan Lakshmanan, Marco Ragni: Response Variability and Stability in Human Reasoning arxiv.org/abs/2610.03008 arxiv.org/pdf/2610.03008 arxiv.org/html/2610.03008

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 05/10/2026

Nao Hirokawa, Teppei Saito, Teppei Tanaka, Wataru Yachi: An Applicative Multiset Path Order (Extended Version) arxiv.org/abs/2610.02973 arxiv.org/pdf/2610.02973 arxiv.org/html/2610.02973

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 05/10/2026

Jo\~{a}o Ara\'{u}jo, Jan H\r{u}la, Mikol\'{a}\v{s} Janota, Edmond W. H. Lee, Bartosz Naskr\k{e}cki: Proving at Scale for Universal Algebra arxiv.org/abs/2610.02500 arxiv.org/pdf/2610.02500 arxiv.org/html/2610.02500

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 05/10/2026

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

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 02/10/2026

[2026-10-02 Fri (UTC), no new articles found for csLO Logic in Computer Science]

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 01/10/2026

Nandakumar Edamana, Piyush P Kurur, Unnikrishnan Cheramangalath: Improved Tristate Multiplication With Formalization in Rocq arxiv.org/abs/2609.39009 arxiv.org/pdf/2609.39009 arxiv.org/html/2609.39009

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 01/10/2026

Volkan Da\u{g}l{\i}, Zerrin Da\u{g}l{\i}, Da\u{g}han Da\u{g}l{\i}: Machine-Checked Computational Group Theory in Lean 4: Operational Schreier-Sims Stabilizer Chains, BSGS Sifting, and Backtra... arxiv.org/abs/2609.38492 arxiv.org/pdf/2609.38492 arxiv.org/html/2609.38492

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 01/10/2026

Adrian de Wynter: What Was Said, Not What Was 'Thought': Type-6 Logic for CoT Verification arxiv.org/abs/2609.38420 arxiv.org/pdf/2609.38420 arxiv.org/html/2609.38420

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 01/10/2026

Arman Ferdowsi, Laura Kovacs: A proof-carrying architecture for synthetic genetic logic circuits under stochastic temporal contracts arxiv.org/abs/2609.38218 arxiv.org/pdf/2609.38218 arxiv.org/html/2609.38218

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 01/10/2026

[2026-10-01 Thu (UTC), 6 new articles found for csLO Logic in Computer Science]

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 30/09/2026

Moussa Labbadi, Rupak Majumdar, V. R. Sathiyanarayana, Sadegh Soudjani: Formal Reasoning about Performance Models arxiv.org/abs/2609.37728 arxiv.org/pdf/2609.37728 arxiv.org/html/2609.37728

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 30/09/2026

Corentin Reuther (University of Namur, Belgium), Jean-Marie Jacquet (University of Namur, Belgium): Modelling Shared-Space Coordination in mCRL2: a Bach-to-mCRL2 Translation Framework arxiv.org/abs/2609.37726 arxiv.org/pdf/2609.37726 arxiv.org/html/2609.37726

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 30/09/2026

Clara Lerouvillois, Francesca Poggiolesi: Dynamic Proof Theory for Dynamic Epistemic Logic arxiv.org/abs/2609.37440 arxiv.org/pdf/2609.37440 arxiv.org/html/2609.37440

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 30/09/2026

Steffen van Bergerem, Martin Grohe, Charlotte Lenz, Nicole Schweikardt: A Rank-Preserving Gaifman Normal Form for First-Order Logic on Weighted Structures arxiv.org/abs/2609.37337 arxiv.org/pdf/2609.37337 arxiv.org/html/2609.37337

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 30/09/2026

Christoph Benzm\"uller: Proofs Without Nominals: G\"odel's Ontological Argument, its Shallow Embedding, and the Open Questions of the Monatshefte Notes arxiv.org/abs/2609.36279 arxiv.org/pdf/2609.36279 arxiv.org/html/2609.36279

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 30/09/2026

[2026-09-30 Wed (UTC), 6 new articles found for csLO Logic in Computer Science]

001

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

Hern\'an Melgratti, Claudio Antares Mezzina, G. Michele Pinna: On Asynchrony and Reversibility in CCS arxiv.org/abs/2609.34925 arxiv.org/pdf/2609.34925 arxiv.org/html/2609.34925

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

Franco Barbanera (DMI - University of Catania, Italy): Safe Composition of CFSM Systems via Partial Gateways arxiv.org/abs/2609.34922 arxiv.org/pdf/2609.34922 arxiv.org/html/2609.34922

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

Hora\c{t}iu Cheval (University of Bucharest): Complete Heyting Algebra Semantics for an Intuitionistic Version of Matching Logic (Extended Abstract) arxiv.org/abs/2609.34894 arxiv.org/pdf/2609.34894 arxiv.org/html/2609.34894

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

\'Ad\'am Kurucz, P\'eter Bereczky, D\'aniel Horp\'acsi: Dependently Typed Model Composition for Matching Logic arxiv.org/abs/2609.34892 arxiv.org/pdf/2609.34892 arxiv.org/html/2609.34892

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

Isabela Dr\v{a}mnesc, Tudor Jebelean, Sorin Stratulat: Certification of Bilateral Patience Sort in Theorema and Rocq arxiv.org/abs/2609.34889 arxiv.org/pdf/2609.34889 arxiv.org/html/2609.34889

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

\c{S}tefan Ciob\^ac\b{a}, Diana-Elena Gratie, Drago\c{s}-Irinel Rotariu: The Formalization of two Computational Models in Dafny arxiv.org/abs/2609.34883 arxiv.org/pdf/2609.34883 arxiv.org/html/2609.34883

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

Ariadna Br\u{a}nici-Faraon, \c{S}tefan Ciob\^ac\u{a}, Diana-Elena Gratie: Formalizing the Omega Test in Dafny arxiv.org/abs/2609.34882 arxiv.org/pdf/2609.34882 arxiv.org/html/2609.34882

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

Ioana Sila\c{s}, Adrian Cr\u{a}ciun: Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking arxiv.org/abs/2609.34881 arxiv.org/pdf/2609.34881 arxiv.org/html/2609.34881

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

G\'abor Kusper (Eszterh\'azy K\'aroly Chatolic University): Subsumption-Free Private-Pivot Learning in Resolvable Network-Based SAT Solving arxiv.org/abs/2609.34880 arxiv.org/pdf/2609.34880 arxiv.org/html/2609.34880

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

Zuzana Hanikov\'a, \v{S}t\v{e}p\'an Holub: Formalization of Fragments of the Theory of Hereditarily Finite Sets arxiv.org/abs/2609.34877 arxiv.org/pdf/2609.34877 arxiv.org/html/2609.34877

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

Ruggero Lanotte: Protected Cores Are Not Enough: Certifying AI-Proposed Revisions of Temporal Specifications arxiv.org/abs/2609.33461 arxiv.org/pdf/2609.33461 arxiv.org/html/2609.33461

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

Sarah Winkler, Toryn Klassen, Sheila McIlraith, Marco Montali: Progression- vs Automata-based Anticipatory Monitoring of LTL over Finite Traces (Extended Version) arxiv.org/abs/2609.32912 arxiv.org/pdf/2609.32912 arxiv.org/html/2609.32912

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

Youngjun Lee, Anshu Dubey, Jan H\"uckelheim: Developing a Numerical Algorithm with CIVL Model Checking in the Loop arxiv.org/abs/2609.31964 arxiv.org/pdf/2609.31964 arxiv.org/html/2609.31964

000