Huang, Y., Jin, X., Liang, S., Li, P., & Liu, Y. (2025). FormaRL: Enhancing Autoformalization with no Labeled Data.
Chicago Style (17th ed.) CitationHuang, Yanxing, Xinling Jin, Sijie Liang, Peng Li, and Yang Liu. FormaRL: Enhancing Autoformalization with No Labeled Data. 2025.
MLA (9th ed.) CitationHuang, Yanxing, et al. FormaRL: Enhancing Autoformalization with No Labeled Data. 2025.
Warning: These citations may not always be 100% accurate.