Paper

TIRE: Top-Down Formula Instantiation with Reliable Execution for Physics Problem Synthesis · ByteTrail