Luo, Z. (2025). Reinforced Large Language Model is a formal theorem prover.
Chicago Style (17th ed.) CitationLuo, Zhiling. Reinforced Large Language Model Is a Formal Theorem Prover. 2025.
MLA (9th ed.) CitationLuo, Zhiling. Reinforced Large Language Model Is a Formal Theorem Prover. 2025.
Warning: These citations may not always be 100% accurate.