Diverse Reasoning Paths Matter: Symbolic Equivalence Augmentation for Enhancing RL Exploration
cs.SC, cs.AI
Submitted: 2026-10-15
Updated: 2026-10-15
Related papers
- RISR: Residual-Informed Scientific Equation Discovery with Large Language Models
- LieDiscover: Adaptive Symbolic Library Construction for Explicit Open-form Symmetry Discovery
- Simple generators of rational function fields
- Resultant Tools for Parametric Polynomial Systems with Application to Mathematical Biology
- Generic Characteristic-Zero Equivalence Between Derivative B'ezout Inversion and Multipoint Evaluation
- Diversity of EML-type operators