Seminar on Machine Learning and Formal Methods
Saarland University — Summer Semester 2020
The course will cover the state of the art research papers in machine learning and formal methods, including the following three topics: (i) formal methods for trustworthy machine learning, (ii) machine learning for program analysis, and (iii) program synthesis.

This course is offered as a block seminar, and there will be no weekly classes. We will schedule designated office hours where students can receive feedback on their reports and presentation slides.

Organizers

Timeline

  • Until 30 May: Register for the seminar course examination at UdS.
  • 10 May: Paper assignment for reading and writing reports is sent to students. A total of six papers are assigned to each student for which they will be writing reports.
  • 5 June: Reports for the first two papers are due.
  • 25 June: Reports for the next two papers are due.
  • 15 July: Reports for the last two papers are due.
  • 20 July: Paper assignment for presentations is sent to students. One paper is assigned to each student that they will be presenting.
  • 20 August: Presentation slides are due.
  • Between 21 August to 20 September: Final presentations will take place where each student will present their assigned paper. The exact dates will be finalized in discussion with enrolled students.

Course structure

The course consists of two main components: (i) Reading research papers and (ii) Presentations. There will be no weekly classes. To receive feedback on the reports and presentation slides, students can arrange meetings with tutors by sending an email to: mlformal-s20-tutors@mpi-sws.org.

Reading research papers

  • Each student will be assigned a total of six research papers (two papers per topic). The complete list of papers is provided below, and the assignments will be done by choosing papers at random from this list. You will receive this assignment from us via email.
  • For each of the assigned paper, you will have to write a two-page report. The timeline for report submissions is listed above.
  • Each report should be submitted as a PDF file via sending an email to: mlformal-s20-tutors@mpi-sws.org. You should name your PDF files as lastname_#.pdf (i.e., lastname_1.pdf, lastname_2.pdf, lastname_3.pdf, lastname_4.pdf, lastname_5.pdf, and lastname_6.pdf).
  • Reports should be written in latex using NeurIPS style files
  • Structure the report as an extended review, e.g.,
    • Summarize the paper.
    • Write down main strengths of the paper.
    • Write down main weaknesses of the paper.
    • Write down ways in which this paper could be improved.
    • Write down ideas in which this paper could be extended.
  • These six reports will correspond to 50% of the final score.

Presentations

  • Each student will be assigned a paper for presentation. This paper will be selected from the list of six papers assigned for writing reports.
  • You will have to prepare a presentation of 25 mins. You will have the possibility to get feedback on your slides before the final submission.
  • At the end of the semester, you will give a final presentation. We will block about 8 hours of time for the presentations. The exact dates will be finalized in discussion with enrolled students. Attendance to the final presentations will be mandatory.
  • The slides and presentation will correspond to 50% of the final score.

List of research papers

Formal methods for trustworthy machine learning

Machine learning for program analysis

Program synthesis




Imprint / Data Protection