1 paper · 1 filter
Chengshuai Yang
Large language models can generate scientific simulation code, but the generated code silently fails on most non-textbook problems. We show that classical mathematical validation -…