TY  - RPRT
TI  - Reliable Proof Generation with LLMs via Analogical Retrieval and Symbolic Verification: A Case Study in Euclidean Geometry
AU  - Oren Sultan
AU  - Eitan Stern
AU  - Dafna Shahaf
PY  - 2026
UR  - https://arxiv.org/abs/2505.14479
ID  - 2505.14479
ER  -