Diagnosing Sampled LLM Reasoning in Formal Geometry: Coverage, Realization, and Validity Evidence.

arXiv:2609.32924v1 Announce Type: new Abstract: Repeated sampling can reveal a correct numerical answer without yielding either a reliable system output or a supported derivation. We present Coverage, Realization, and Validity Evidence (CRV), an evaluation pro