TY  - RPRT
TI  - Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion
AU  - Ziyao Xu
AU  - Houfeng Wang
PY  - 2025
UR  - https://arxiv.org/abs/2501.14649
ID  - 2501.14649
ER  -