arXiv cs.AI
· Papers
TREAT: Evaluating Access to Formal Knowledge across Equivalent Mathematical Representations
arXiv:2608.07540v1 Announce Type: new Abstract: AI systems increasingly operate between flexible input representations and formal objects used by downstream tools. A key challenge is recognizing when an unfamiliar formulation denotes a known formal object. We study this challenge through theorem recognition: given an e