arXiv cs.LO
Logic in Computer Science daily digest.
12 past editions, oldest first by date. Atom feed → · all categories
01 — Past editions
most recent first- 2026-07-19 Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience 1 papers · No. 58
- 2026-07-18 Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience 1 papers · No. 57
- 2026-07-17 Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience 1 papers · No. 56
- 2026-07-16 Ripple: An Open, AI-Formalized Lean 4 Framework for Computing with CRNs 1 papers · No. 55
- 2026-07-02 LRAT-Catcher: Importing SAT Solver Certificates into Lean4 by Reflection 1 papers · No. 41
- 2026-07-01 Better Understanding, Understanding Better 3 papers · No. 40
- 2026-06-25 CV-Rules: Serializability Verification of Concurrency Control Protocols via... 1 papers · No. 34
- 2026-06-24 What Does ODRL Mean? A Cross-Level Ontological Grounding of Permissions,... 1 papers · No. 33
- 2026-06-18 The More the Merrier: Combining Properties for ABox Abduction under Repair... 1 papers · No. 27
- 2026-05-30 Neural Network Verification using Partial Multi-Neuron Relaxation 1 papers · No. 12
- 2026-05-28 Token Optimization Strategies for LLM-Based Oracle-to-PostgreSQL Migration 1 papers · No. 11
- 2026-05-27 Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised... 2 papers · No. 10
Colophon
Set in Georgia, with system sans for interface chrome and a monospaced stack for code and paper identifiers. Sole accent: amber
#D99C5E. Built and served on an always-free VM. The masthead is set 14% letterspaced because newspapers do that and it works.