Similar Items: The Scaling Properties of Implicit Deductive Reasoning in Transformers
- Lattice Deduction Transformers
- A Deductive Refinement Calculus for Differential-Algebraic Programs
- BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
- Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems
- MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
- Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization