EngChain: A Symbolic Benchmark for Verifiable Multi-Step Reasoning in Engineering. - Ayesha Gull; Muhammad Usman Safder; Rania Elbadry; Preslav Nakov; Zhuohan Xie (CoRR, 2025)