@misc{indiciaed4a5a6b5f10d,
  title = {Diagnosing Sampled LLM Reasoning in Formal Geometry: Coverage, Realization, and Validity Evidence},
  author = {Xiao Yue and Guangzhi Qu},
  year = {2026},
  url = {https://arxiv.org/abs/2609.32924},
  note = {Source identifier: 2609.32924}
}