EngTrace: A Symbolic Benchmark for Verifiable Process Evaluation of Engineering Reasoning

arXiv:2511.01650 · cs.CL, cs.AI, cs.LG · Submitted 2025-11-03 · Read on arXiv

cs.CL, cs.AI, cs.LG

Submitted: 2025-11-03

Updated: 2026-10-19

Terminology

• Benchmark — 3× in this paper · explained in 2 episodes
• Trace — 2× in this paper · explained in 2 episodes
• Core — 1× in this paper · explained in 2 episodes
• Evaluation Framework — 1× in this paper · explained in 2 episodes
• Fidelity — 1× in this paper · explained in 2 episodes
• Generalization — 1× in this paper · explained in 13 episodes
• Large Language Models (LLMs) — 1× in this paper · explained in 8 episodes
• Reasoning Traces — 1× in this paper · explained in 4 episodes

Related papers

• Exploring Solution Divergence and Its Effect on Large Language Model Problem Solving
• Ishigaki-IDS-Bench: A Benchmark for Generating Information Delivery Specification from BIM Information Requirements
• Subliminal Steering: Stronger Encoding of Hidden Signals
• MedStruct-S: A Benchmark for Key Discovery, Key-Conditioned QA and Semi-Structured Extraction from OCR Clinical Reports
• The End of Transformers? On Challenging Attention and the Rise of Sub-Quadratic Architectures
• Untangling the Mechanisms of Misleading Context in Medical Question Answering