数理最適化の『解なし』をLLMで解決する！

数理最適化モデルの「解なし」問題をLLMで解決するアプローチ。ASTを用いたエラー解析・自動修正システムを設計し、ソルバーが出力する数理的矛盾情報と設計者の意図との間の「セマンティックギャップ」を解消する試みについて解説。