APA (7th ed.) Citation

Huang, Y., Jin, X., Liang, S., Li, P., & Liu, Y. (2025). FormaRL: Enhancing Autoformalization with no Labeled Data.

Chicago Style (17th ed.) Citation

Huang, Yanxing, Xinling Jin, Sijie Liang, Peng Li, and Yang Liu. FormaRL: Enhancing Autoformalization with No Labeled Data. 2025.

MLA (9th ed.) Citation

Huang, Yanxing, et al. FormaRL: Enhancing Autoformalization with No Labeled Data. 2025.