Скачать Linnk AI
•
Научный ассистент
>
Войти
аналитика
-
大規模言語モデル 形式仕様
LLMsによる形式仕様の翻訳と解釈の自動評価
LLMsは現在、自然言語から形式仕様への変換や、形式仕様の自然言語による解釈において十分な性能を発揮できていない。
1