TY  - RPRT
TI  - Consistent Autoformalization for Constructing Mathematical Libraries
AU  - Lan Zhang
AU  - Xin Quan
AU  - Andre Freitas
PY  - 2024
DO  - 10.18653/v1/2024.emnlp-main.233
UR  - https://arxiv.org/abs/2410.04194
ID  - 2410.04194
ER  -