APA (7th ed.) Citation

Chen, J., Li, C., Yuan, Y., & Yao, A. C. (2025). Hierarchical Attention Generates Better Proofs.

Chicago Style (17th ed.) Citation

Chen, Jianlong, Chao Li, Yang Yuan, and Andrew C. Yao. Hierarchical Attention Generates Better Proofs. 2025.

MLA (9th ed.) Citation

Chen, Jianlong, et al. Hierarchical Attention Generates Better Proofs. 2025.