EngTrace: A Symbolic Benchmark for Verifiable Process Supervision of Engineering Reasoning 文章

ArXiv CS.CL2026-06-17NEWSen作者: Ayesha Gull, Muhammad Usman Safder, Rania Elbadry, Fan Zhang, Veselin Stoyanov, Preslav Nakov, Zhuohan Xie