形式検証 - 亜美と智也のAI論文解説

8月 14 2026

LLMによるIsabelle証明修復を契約で制御するCAPRI

投稿者: ユウ

TL;DR CAPRIは、LLMによるIsabelle証明の自動修復に…

7月 27 2026

CausalForge：Leanで検証済みの因果推論定理を自動発見するフレームワーク

投稿者: ユウ

TL;DR CausalForgeは、因果推論の定理を自動で提案・証明…

1月 14 2026

巨大AIに勝利！ミスを自分で直す「最強のインフラ職人AI」TerraFormerの秘密

投稿者: ユウ

解説ねえねえ智也くん！この『TerraFormer』っていう論文、タ…

1月 03 2026

宇宙船のバグも逃さない！1000行超えの巨大プログラムをAIで守る新技術

投稿者: ユウ

解説ねえねえ智也くん！この『1001行の物語（A Tale of 1…

亜美と智也について・このサイトの計測について