symbolic reasoning
A type of reasoning in AI that involves manipulating symbols and expressions according to specified logical rules, enabling the system to make deductions or inferences from given premises, contrasting with purely numerical approaches.
- Beyond Single-Task: Robust Multi-Task Length Generalization for LLMs
- Causal-R: A Causal-Reasoning Geometry Problem Solver for Optimized Solution Exploration
- Multi-head Transformers Provably Learn Symbolic Multi-step Reasoning via Gradient Descent
- Neurosymbolic Diffusion Models
- SymRTLO: Enhancing RTL Code Optimization with LLMs and Neuron-Inspired Symbolic Reasoning