APA (7th ed.) Citation

Lu, Y., Yang, H., Wang, X., Zhang, G., Li, B., Fu, C., . . . Yao, A. C. (2025). Clarifying Before Reasoning: A Coq Prover with Structural Context.

Chicago Style (17th ed.) Citation

Lu, Yanzhen, Hanbin Yang, Xiaodie Wang, Ge Zhang, Biao Li, Chenxu Fu, Chao Li, Yang Yuan, and Andrew Chi-Chih Yao. Clarifying Before Reasoning: A Coq Prover with Structural Context. 2025.

MLA (9th ed.) Citation

Lu, Yanzhen, et al. Clarifying Before Reasoning: A Coq Prover with Structural Context. 2025.