TY  - RPRT
TI  - Multilingual Mathematical Autoformalization
AU  - Albert Q. Jiang
AU  - Wenda Li
AU  - Mateja Jamnik
PY  - 2023
UR  - https://arxiv.org/abs/2311.03755
ID  - 2311.03755
ER  -