TY  - RPRT
TI  - Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart
AU  - Brent Pappas
AU  - Joseph Zalusky
AU  - Zachary Burkett
AU  - Paul Gazzillo
PY  - 2026
DO  - 10.1145/3832783.3837412
UR  - https://arxiv.org/abs/2608.06705
ID  - 2608.06705
ER  -