LLMsによる形式仕様の翻訳と解釈の自動評価

LLMsは現在、自然言語から形式仕様への変換や、形式仕様の自然言語による解釈において十分な性能を発揮できていない。