@misc{indiciaef2c1b2f250a7, title = {EngTrace: A Symbolic Benchmark for Verifiable Process Supervision of Engineering Reasoning}, author = {Ayesha Gull and Muhammad Usman Safder and Rania Elbadry and Fan Zhang and Veselin Stoyanov and Preslav Nakov and Zhuohan Xie}, year = {2026}, url = {https://arxiv.org/abs/2511.01650}, note = {Source identifier: 2511.01650} }