Zhou, Y. (2025). Retrieval-Augmented TLAPS Proof Generation with Large Language Models.
Chicago Style (17th ed.) CitationZhou, Yuhao. Retrieval-Augmented TLAPS Proof Generation with Large Language Models. 2025.
MLA (9th ed.) CitationZhou, Yuhao. Retrieval-Augmented TLAPS Proof Generation with Large Language Models. 2025.
Warning: These citations may not always be 100% accurate.