1. 証明支援系Leanを使ったAIの正確性確保の考え方

    [AI]

    関数型言語であり証明支援系でもあるLeanを用い、AI関連の処理や成果物の正しさを同じ枠組みで検証する考え方を取り上げた内容。AIの信頼性向上に向けた手法の一端を紹介している。