Cita APA (7a ed.)

Thakur, A., Tsoukalas, G., Durrett, G., & Chaudhuri, S. (2025). ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving.

Cita Chicago Style (17a ed.)

Thakur, Amitayush, George Tsoukalas, Greg Durrett, y Swarat Chaudhuri. ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving. 2025.

Cita MLA (9a ed.)

Thakur, Amitayush, et al. ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving. 2025.