판 이력 — TREAT: Evaluating Access to Formal Knowledge across Equivalent Mathematical Representations | AIChainDay