TREAT: Evaluating Access to Formal Knowledge across Equivalent Mathematical Representations
英文标题：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 re
打开原文相关 1.6 · 机会 1
2.1 KB
612 B
380 B
9.1 KB
32.7 KB
22.8 KB
24.2 KB
34.7 KB
中文
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 re
中文全文翻译正在补齐，可先查看下方英文原文。
English / 原文
BibTeX formatted citation
×