← back to paper

Review history

arxiv: 2608.06705 · 2 revisions

Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart

1. 2026-08-11 CONDITIONAL MODERATE v1.4.0-alltime-deepseek-medium novelty 6.0
   163981 ms 21682 in 19236 out 2026-08-11T04:13:53.200781+00:00
2. 2026-08-10 CONDITIONAL MODERATE v1.4.0-daily-deepseek-medium novelty 7.0
   126923 ms 21606 in 14156 out 2026-08-10T22:08:28.434746+00:00