SHADOWBENCH: Toward Reliable Automatic Evaluation of Semantic Alignment in Autoformalization
DGX agentarXiv:2608.29270v1 Announce Type: cross Abstract: Autoformalization translates informal mathematical theorems into code for proof assistants such as Lean. A central challenge is that current evaluatio