机构名称：
¥ 1.0
博士生将在 ForML 项目 (https://www.irit.fr/ForML) 内工作。该项目是图卢兹信息研究所 (IRIT)（Aurélie Hurault、图卢兹 INP 和 Martin Cooper、图卢兹 III）、索邦大学（Antoine Miné、LIP6）和 Inria Paris（Caterina Urban、ANTIQUE）之间的合作，由 IRIT 领导。ForML 旨在开发基于抽象解释的新静态分析技术和基于反例引导抽象细化的新模型检查技术，以验证机器学习软件的稳健性、公平性和可解释性。博士生将驻扎在巴黎，由 Caterina Urban 和 Antoine Miné 共同指导。预计还将前往图卢兹进行研究访问并与该项目的 IRIT 成员合作。
可解释人工智能的抽象解释 (AI4XAI) 博士课题
主要关键词
相关文件推荐
