Similar Items: Inverter Redistribution through Self-Dual and Self-Anti-Dual Function Transformation
- Self-Correcting Gossip Protocols
- Lattice Deduction Transformers
- The Scaling Properties of Implicit Deductive Reasoning in Transformers
- Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
- Univalence without function extensionality
- Formal Verification of Imperative First-Class Functions in Move