@misc{indiciae85cc49fb1c0b,
  title = {Reliable Proof Generation with LLMs via Analogical Retrieval and Symbolic Verification: A Case Study in Euclidean Geometry},
  author = {Oren Sultan and Eitan Stern and Dafna Shahaf},
  year = {2026},
  url = {https://arxiv.org/abs/2505.14479},
  note = {Source identifier: 2505.14479}
}