4月 20 2024 0 大規模言語モデルと旅行計画 投稿者: ユウ 解説 ねえ智也くん、この論文のタイトル見て！「大規模言語モデルが形式的検証ツールを使ってあなたの旅行を計画できるって」すごくない？どういうこと？ ああ、これは最近の研究だね。大規模言語モデル、つまりLLMは多くの情報を持…