APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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