APA (7th ed.) Citation

Zhang, L., Cerna, D. M., & Kaliszyk, C. (2024). Learning Rules Explaining Interactive Theorem Proving Tactic Prediction.

Chicago Style (17th ed.) Citation

Zhang, Liao, David M. Cerna, and Cezary Kaliszyk. Learning Rules Explaining Interactive Theorem Proving Tactic Prediction. 2024.

MLA (9th ed.) Citation

Zhang, Liao, et al. Learning Rules Explaining Interactive Theorem Proving Tactic Prediction. 2024.