TY  - RPRT
TI  - Diagnosing Sampled LLM Reasoning in Formal Geometry: Coverage, Realization, and Validity Evidence
AU  - Xiao Yue
AU  - Guangzhi Qu
PY  - 2026
UR  - https://arxiv.org/abs/2609.32924
ID  - 2609.32924
ER  -