Similar Items: Lattice Deduction Transformers
- The Scaling Properties of Implicit Deductive Reasoning in Transformers
- A Deductive Refinement Calculus for Differential-Algebraic Programs
- Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
- Inverter Redistribution through Self-Dual and Self-Anti-Dual Function Transformation
- Verification of Neural Networks (Lecture Notes)
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic