TREAT: Evaluating Access to Formal Knowledge across Equivalent Mathematical Representations

Fateme Mazdarani, Carlos Toxtli

AI systems increasingly operate between flexible input representations and formal objects used by downstream tools. A key challenge is recognizing when an unfamiliar formulation de…