2023 年度年次報告書

Compositionalなモデル検査によるニューロシンボリックAIの安全性保証

研究課題

戦略的な研究開発の推進戦略的創造研究推進事業 ACT-X

PDF

体系的番号	JPMJAX23CU
DOI	https://doi.org/10.52926/JPMJAX23CU
研究代表者	渡邉知樹総合研究大学院大学, 複合科学研究科, 大学院生
研究期間 (年度)	2023 – 2025
研究領域	次世代AIを築く数理・情報科学の革新