TY  - RPRT
TI  - SHADOWBENCH: Toward Reliable Automatic Evaluation of Semantic Alignment in Autoformalization
AU  - Hojae Han
AU  - Jongyoon Kim
AU  - Sanghyeok Park
AU  - Dongwook Cheon
AU  - Yeachan Park
AU  - Myeong Jae Jeon
AU  - Sunjong Choe
AU  - Soonho Kong
AU  - Wonseok Hur
AU  - Seung-won Hwang
AU  - Donghoon Hyeon
PY  - 2026
UR  - https://arxiv.org/abs/2608.29270
ID  - 2608.29270
ER  -