Similar Items: täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)
- Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
- MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries
- Verification of Neural Networks (Lecture Notes)
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
- Automaton-based Characterisations of First Order Logic over Infinite Trees
- Pseudo-Complex Quantifier Elimination