Similar Items: MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
- Efficient Incremental #SAT via Cross-Instance Knowledge Reuse
- Separation Logic for Verifying Physical Collisions of CNC Programs
- BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
- The Scaling Properties of Implicit Deductive Reasoning in Transformers
- Automated Channel Fault Analysis with Tofu
- Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems