形式検証

Agentによる形式検証は見た目以上に困難

投稿者はAgentによる形式検証を「LLMにLLM出力を直させる」ことに喩え、解釈可能で表現力豊かな形式化が非常に難しいと指摘する。