TY  - RPRT
TI  - MAFIG: Multi-agent Driven Formal Instruction Generation Framework
AU  - Shixing Zhao
AU  - Zheng Si
AU  - Pengpeng Ouyang
AU  - Zhengqing Hu
AU  - Wanqi Zhu
AU  - Dong Chen
AU  - Yibo Guo
AU  - Mingliang Xu
PY  - 2026
UR  - https://arxiv.org/abs/2604.10989
ID  - 2604.10989
ER  -