Similar Items: A formulation of D-institution using functor categories
- Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
- Stokes' Theorem for Smooth Singular Cubes in Lean 4: True Pullback, Bridges to mathlib4, and Chain-Level d^2=0
- Computing Witnesses Using the SCAN Algorithm
- Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
- MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents
- A uniform characterisation of the (a)synchronous must-preorder