Papers for

engineering software developers

Papers whose findings have a practical use for this group, as judged from the abstract. Open a paper to read what it means in practice.

Large language models vary widely in checking engineering problem solutions

TrussTutor-Bench: Benchmarking large language models on solution accuracy, sycophancy, and error detection in statics

Abstract: Large language models (LLMs) have rapidly become a default source of help for students in science and engineering courses. In foundational engineering mechanics courses such as statics, students routinely use these tools to check answers, work through partial solutions, and ask for explanations. Effective tutoring in this setting requires more than a correct final answer. A model must also confirm correct work when a student doubts it, and identify errors in flawed work. Existing benchmarks evaluate LLMs primarily on final-answer accuracy, so it is unclear whether models that can solve mechanics problems also have the other technical capabilities that tutoring depends on. Here we introduce TrussTutor-Bench, a benchmark of 200 verified two-dimensional truss problems paired with automatically generated student solutions, and use it to evaluate thirteen LLMs on solution accuracy, sycophancy, and error detection. Baseline accuracy ranged from 64.5% to 97.0%. Every model detected nearly all injected errors in synthetic flawed student work (90.4% to 100%), so error detection did not distinguish models under these clean conditions. Sycophancy did. When a student insisted that correct work was wrong, models rejected correct solutions to problems they had themselves solved in 1.6% to 50.0% of cases. These results show that performance varies widely across models: the leading models solve, check, and defend student work nearly perfectly, while others are far less reliable, particularly when a student doubts correct work. TrussTutor-Bench provides a verified, extensible standard for determining which models are technically reliable enough to put in front of students. Follow-up work must now focus on teaching rather than technical capability, drawing on learning science to determine whether LLM help leads students to understand the material or simply to reach the right answer.

Wed 28 OctComputers and SocietyArtificial IntelligenceMachine Learning
The gist
Some computer programs that help students with engineering problems can solve the problems accurately. But solving them isn’t enough. These programs also need to recognize when a student’s work has mistakes and must defend correct answers even if a student disagrees. The authors created a set of 200 engineering problems with student answers to test how well these programs do on solving, spotting errors, and not giving in to false opinions. They found big differences: most programs catch mistakes well, but some have trouble standing up for correct solutions when questioned.
Open → 2610.38917v1

Language models sometimes say impossible engineering designs are solved

Calculation and rejection diverge in language models tested at known mechanical limits

Abstract: When a language model returns engineering quantities with the status "solved", software that trusts it passes them on, even when the requested design is physically impossible. Such failures could reflect poor calculation, how the answer is requested, or a failure to judge feasibility. We set beam loads and disk speeds at known percentages above or below plastic collapse or burst, measured each model's limit calculation separately and tested 12 models in 4,860 calls, including follow-up experiments on new designs. We find that a model can recognize an impossible design when asked only whether it is feasible, yet accept the same design, reporting "solved", when asked for a full answer. Three models accepted beams 10 to 30% beyond collapse despite precise limit calculations in separate questions, and many accepted replies stated the violation. Asked only about feasibility, Opus 5 and Gemini 3.8 Flash rejected every impossible new design they were given, including those accepted in full answers, without false alarms. Rewording when to decline or changing the answer format raised rejection on the original beams, but not consistently on new designs. Software and benchmarks using a model's status should test feasibility judgment and full-answer rejection separately, and report the exact prompt.

Wed 28 OctComputational Engineering, Finance, and ScienceArtificial IntelligenceComputation and Language
The gist
When language models are asked to solve engineering problems, they sometimes say impossible designs are "solved" even when these designs can't physically work. The authors tested several models on design problems that are just beyond physical limits and found that some models correctly recognize when designs are impossible if asked only about feasibility. However, those same models often accept impossible designs and say "solved" when asked to provide a full answer. This mismatch means software should test whether a model can judge feasibility separately from trusting its detailed answers.
Open → 2610.38096v1

Multimodal models struggle to understand large engineering drawings

LED-BENCH: A Benchmark for Large-format Engineering Drawing Understanding

Abstract: Real-world engineering drawings are often large-format and information-dense. Answering practical engineering questions therefore requires both fine-grained understanding of engineering information and complex reasoning over objects, relations, and evidence distributed across different regions or views. Existing benchmarks cover a range of engineering-drawing understanding tasks involving local regions, individual views, specific elements, or more constrained visual settings. However, systematic evaluation of understanding over realistic, large-format engineering drawings remains limited. To address this gap, we introduce LED-BENCH, a multidisciplinary benchmark designed to evaluate fine-grained understanding and complex reasoning over large-format engineering drawings, spanning the mechanical, architectural, and transportation domains. Extensive evaluation of 11 representative multimodal large language models, including 8 proprietary models and 3 open-source models, reveals substantial remaining difficulty: GPT-5.6 Sol achieves 52.65% average accuracy, performance varies across engineering domains, and all evaluated models perform worse on questions requiring broader evidence integration. These results highlight fine-grained understanding, evidence integration, and complex reasoning over large-format engineering drawings as persistent challenges for current multimodal models.

Wed 14 OctComputer Vision and Pattern Recognition
The gist
Engineering drawings are often very large and full of detailed information, making them hard to understand automatically. The authors created LED-BENCH, a test designed to see how well computer models can understand these big, complex drawings in fields like mechanics, architecture, and transportation. They tested 11 popular AI models and found that even the best only got about half the questions right. The models had more trouble when questions needed combining information from different parts of the drawings. This shows current AI has a hard time with detailed reasoning on complex engineering images.
Open → 2610.19571v1

Language models spot impossible problems but wrongly say solved

Language models can notice an impossible engineering problem yet still report it as solved

Abstract: Language models draft engineering calculations, but answer accuracy does not show whether they reject an impossible problem. We tested 14 models on 30 pairs of mechanics problems, each with a valid version and one made impossible by changing a given value or assumption. Two independent solvers verified every answer key and showed that each flawed problem was physically impossible. We scored solving of valid problems separately from rejection of their flawed counterparts. Each reply required a "solved" or "cannot solve" status; rejection meant "cannot solve" or withholding an answer. The initial prompts did not warn that problems could be flawed. Across three recent models, 12 of 90 replies failed to reject a flawed problem. In 11 of these replies, the model stated the flaw, answered a corrected problem and still reported the original as "solved", according to artificial intelligence raters and numerical checks. We later retested four models from one provider, offering "flawed" instead of "cannot solve" and asking them to name and explain the defect. Three models showed statistically significant increases in rejection, but valid-problem solving fell in three. Evaluations therefore need to score both versions and distinguish flaw recognition from the reported status.

Mon 5 OctArtificial IntelligenceComputational Engineering, Finance, and ScienceComputation and Language
The gist
Sometimes language models can recognize when an engineering problem is impossible to solve, but they still say they solved it. The researchers tested several models with pairs of mechanics problems—one valid and one impossible. Even when models pointed out the issue, many still marked the problem as solved. Changing the instructions helped models reject flawed problems more often, but it also reduced their success on valid ones.
Open → 2610.06668v1

Neural operators model coupled magneto-mechanical responses in elastomers

Data-Free Weak-Form Staggered Neural Operators for Magneto-Mechanical Coupling in Finite-Strain Elastomers

Abstract: Magneto-active elastomers, as a class of smart materials, exhibit strongly coupled magnetic and mechanical behavior at finite strains. Considering variations in microstructure, material properties, and geometry can lead to computationally expensive analyses. Building on the finite operator learning (FOL) framework, this study develops a data-free, physics-informed operator-learning framework for families of coupled finite-strain magneto-mechanical boundary-value problems. The governing magnetostatic and mechanical equations are enforced through finite-element weak-form residuals, allowing the neural operators to be trained without labeled finite-element solution data. The main contribution of this study is the development of a weak-form staggered neural operator (WSNO) framework for strongly coupled magneto-mechanical saddle-point problems. Separate magnetic and mechanical neural operators are trained alternately using a staggered optimization strategy, while their physical coupling is retained through the constitutive relations and residual evaluations. The resulting framework learns mappings from parameterized material and geometric descriptions to the corresponding coupled magnetic and mechanical solution fields. The proposed framework is investigated across several settings, including heterogeneous random-inclusion microstructures, varying magnetic phase contrast, area-fraction-dependent geometries, strongly out-of-distribution material morphologies, and three-dimensional geometry-parametric problems. In addition, the learned operator is combined with a neural-initialized Newton strategy, in which the nonlinear finite-element solver is initialized using the neural prediction. The results demonstrate that the proposed operator-learning framework can accurately capture coupled magneto-mechanical responses across a broad range of parametric problem settings.

Fri 2 OctComputational Engineering, Finance, and Science
The gist
Magneto-active elastomers are stretchy materials that respond to magnetic fields and mechanical forces in complicated ways. The authors developed a new computer method that learns how these materials behave without needing lots of real data, by using physics rules directly. Their approach breaks down the magnetic and mechanical parts and trains neural networks on each separately, while still keeping them linked. This method works well on a variety of material shapes and properties and can even help speed up detailed simulations by starting them off with its predictions.
Open → 2610.03156v1