Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Teaching Temporal Logics to Neural Networks | Phase B | Room 1.06 in E1 1 and online | 07.07.22 | 07.07.22 | No | ||
| Competition-Level Code Generation with AlphaCode | Phase B | Room 1.06 in E1 1 and online | 07.07.22 | 07.07.22 | No | ||
| Evaluating Large Language Models Trained on Code | Phase B | Room 1.06 in E1 1 and online | 14.07.22 | 14.07.22 | No | ||
| Learning Combinatorial Optimization Algorithms over Graphs | Phase B | Room 1.06 in E1 1 and online | 21.07.22 | 21.07.22 | No | ||
| Learning to Solve SMT Formulas | Phase B | Room 1.06 in E1 1 and online | 21.07.22 | 21.07.22 | No | ||
| Mastering the Game of Go with Deep Neural Networks and Tree Search | Phase B | Room 1.06 in E1 1 and online | 14.07.22 | 14.07.22 | No | ||
| Data-Driven Approximations to NP-Hard Problems | Phase B | Room 1.06 in E1 1 and online | 23.06.22 | 23.06.22 | No | ||
| Advancing Mathematics by Guiding Human Intuition with AI | Phase B | Room 1.06 in E1 1 and online | 07.07.22 | 07.07.22 | No | ||
| Project Submission | Deadline | 08.09.22 | 08.09.22 | No |