| 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 |
|
