🔮
🔮
The Ethereal
🏛️ The Logic in CS Crypt
cs.LO: Where Logic in CS papers rest without their code.
1379
Total Papers
1
No Code
1305
Twilight
73
Has Code
5.3%
Survival Rate
🔮
🔮
The Ethereal
Unfolding-based Partial Order Reduction
🔮
🔮
The Ethereal
Guarded Dependent Type Theory with Coinductive Types
🔮
🔮
The Ethereal
Correct-by-synthesis reinforcement learning with temporal logic constraints
🔮
🔮
The Ethereal
A Mathematical Theory of Co-Design
🔮
🔮
The Ethereal
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version)
🔮
🔮
The Ethereal
Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar
🔮
🔮
The Ethereal
Safety Verification and Refutation by k-invariants and k-induction (extended version)
🔮
🔮
The Ethereal
Semantics of higher-order probabilistic programs with conditioning
🔮
🔮
The Ethereal
Generalized Totalizer Encoding for Pseudo-Boolean Constraints
🔮
🔮
The Ethereal
Precise subtyping for synchronous multiparty sessions
🔮
🔮
The Ethereal
Resolving Distributed Knowledge
🔮
🔮
The Ethereal
Definability equals recognizability for graphs of bounded treewidth
🔮
🔮
The Ethereal
Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays
🔮
🔮
The Ethereal
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
🔮
🔮
The Ethereal
DeepAbstract: Neural Network Abstraction for Accelerating Verification
🔮
🔮
The Ethereal
Differential Equation Invariance Axiomatization
🔮
🔮
The Ethereal
A Survey of Runtime Monitoring Instrumentation Techniques
🔮
🔮
The Ethereal
ReQWIRE: Reasoning about Reversible Quantum Circuits
🔮
🔮
The Ethereal
Backpropagation in the Simply Typed Lambda-calculus with Linear Negation
🔮
🔮
The Ethereal
Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Programs
🔮
🔮
The Ethereal
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time
🔮
🔮
The Ethereal
Differential Equation Axiomatization: The Impressive Power of Differential Ghosts
🔮
🔮
The Ethereal