コース情報

This seminar will provide a broad overview of recent efforts to make AI more trustworthy. The students will be able to choose from a broad range of papers that are published in the top AI or Formal Methods conferences like NeurIPS, ICML, ICLR, AAAI, IJCAI, CAV, or TACAS. Potential topics are:

• Safe Reinforcement Learning
• Verification of Neural Networks
• Safe Planning under Uncertainty
• Large Language Models in Combination with Formal Methods