TY  - RPRT
TI  - EngTrace: A Symbolic Benchmark for Verifiable Process Supervision of Engineering Reasoning
AU  - Ayesha Gull
AU  - Muhammad Usman Safder
AU  - Rania Elbadry
AU  - Fan Zhang
AU  - Veselin Stoyanov
AU  - Preslav Nakov
AU  - Zhuohan Xie
PY  - 2026
UR  - https://arxiv.org/abs/2511.01650
ID  - 2511.01650
ER  -