LTLからの説明を統合した学習仕様の効率的な抽出

LLMと最適化ベースの手法を組み合わせることで、説明と実証から信頼性の高いLTL仕様を効率的に抽出できる。