九州大学 · システム情報科学府・システム情報科学研究院 · 教授

研究关键词neural network verification・adversarial attacks・autonomous driving validation・STL falsification・AI-enabled cyber-physical systems・scenario generation・fault localization

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality2025 · PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL 9 ( OOPSLA1 ) 2025年4月 （ eISSN: 2475-1421 ）
• Polygenic prediction of body mass index and obesity through the life course and across ancestries.2025 · Nature medicine 2025年7月 （ ISSN: 1078-8956 ）
• Fault localization of AI-enabled cyber-physical systems by exploiting temporal neuron activation2025 · JOURNAL OF SYSTEMS AND SOFTWARE 229 2025年11月 （ ISSN: 0164-1212 eISSN: 1873-1228 ）
• Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification2025 · 2025 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE, DATE 2025年 （ ISSN: 1530-1591 ISBN: 978-3-9826741-0-0 ）

• 大規模言語モデルのための品質保証技術に関する研究2024 · 研究課題/領域番号： 24K02920 2024年4月 - 2027年3月
• プログラム依存性理論に基づく量子プログラムの統合的開発支援環境の構築2024 · 研究課題/領域番号： 24K14908 2024年4月 - 2027年3月
• AIを活用したサイバーフィジカルシステムのテスト、解析、及び修復に関する研究2023 · 研究課題/領域番号： 23H03372 2023年 - 2025年
• AIを活用したサイバーフィジカルシステムのテスト、解析、及び修復に関する研究2023 · 研究課題/領域番号： 23K28062 2023年4月 - 2026年3月

• KAKEN