1月 28 2026 0 AIが半導体エンジニアに？ミスを許さない「完璧な設計図」作りの新技術 投稿者: ユウ 解説 智也くん、見て見て！この『VERI-SURE』って論文、名前がなんだか強そうじゃない？「絶対安心！」みたいな感じ？ ああ、それはAIに半導体の設計図を書かせるための最新の研究だね。RTLっていう、ハードウェアの動き…
4月 20 2024 0 大規模言語モデルと旅行計画 投稿者: ユウ 解説 ねえ智也くん、この論文のタイトル見て！「大規模言語モデルが形式的検証ツールを使ってあなたの旅行を計画できるって」すごくない？どういうこと？ ああ、これは最近の研究だね。大規模言語モデル、つまりLLMは多くの情報を持…