| Title |
Type |
Location |
Serial |
Start |
End |
All Day |
|
|
Learning to Represent Programs with Graphs |
Phase B |
Room 1.06 in E1 1 and online |
|
30.06.22 |
30.06.22 |
No |
|
|
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 |
|
|
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 |
|
|
Evaluating Large Language Models Trained on Code |
Phase B |
Room 1.06 in E1 1 and online |
|
14.07.22 |
14.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 |
|
|
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 |
|
|
Project Submission |
Deadline |
|
|
08.09.22 |
08.09.22 |
No |
|
