Cita APA (7a ed.)

Xu, Q., Wang, R., Wang, P., Li, H., & Watt, C. (2025). A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL.

Cita Chicago Style (17a ed.)

Xu, Qiyuan, Renxi Wang, Peixin Wang, Haonan Li, y Conrad Watt. A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL. 2025.

Cita MLA (9a ed.)

Xu, Qiyuan, et al. A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL. 2025.