TY  - RPRT
TI  - Retrieval-Augmented TLAPS Proof Generation with Large Language Models
AU  - Yuhao Zhou
PY  - 2025
UR  - https://arxiv.org/abs/2501.03073
ID  - 2501.03073
ER  -