TY  - RPRT
TI  - TIRE: Top-Down Formula Instantiation with Reliable Execution for Physics Problem Synthesis
AU  - Xiaoyu Wu
AU  - Zhaoxin Yu
AU  - Xinglin Xiao
AU  - Nan Xu
PY  - 2026
UR  - https://arxiv.org/abs/2610.25134
ID  - 2610.25134
ER  -