TY  - RPRT
TI  - FormaRL: Enhancing Autoformalization with no Labeled Data
AU  - Yanxing Huang
AU  - Xinling Jin
AU  - Sijie Liang
AU  - Peng Li
AU  - Yang Liu
PY  - 2025
UR  - https://arxiv.org/abs/2508.18914
ID  - 2508.18914
ER  -