@misc{indiciaeb31f43c3d38a, title = {TIRE: Top-Down Formula Instantiation with Reliable Execution for Physics Problem Synthesis}, author = {Xiaoyu Wu and Zhaoxin Yu and Xinglin Xiao and Nan Xu}, year = {2026}, url = {https://arxiv.org/abs/2610.25134}, note = {Source identifier: 2610.25134} }