Know When the Equation Is Wrong: Structural Uncertainty for LLM-Guided Symbolic Regression under Extrapolation
LLM-SR-UQ is introduced, a framework that retains competing equation structures and uses their disagreement to characterize uncertainty about the underlying functional form and substantially improves coverage attainment by incorporating structural disagreement while preserving in-distribution coverage.