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