Cita APA (7a ed.)

Rao, B., Eiers, W., & Lipizzi, C. (2025). Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification.

Cita Chicago Style (17a ed.)

Rao, Balaji, William Eiers, y Carlo Lipizzi. Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification. 2025.

Cita MLA (9a ed.)

Rao, Balaji, et al. Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification. 2025.