| Title |
Type |
Location |
Serial |
Start |
End |
All Day |
|
|
Transformers and Large Language Models |
Phase A |
Room 1.06 in E1 1 and online |
|
19.05.22 |
19.05.22 |
No |
|
|
Reinforcement Learning |
Phase A |
Room 1.06 in E1 1 and online |
|
02.06.22 |
02.06.22 |
No |
|
|
Learning a SAT Solver from Single-Bit Supervision |
Phase B |
Room 1.06 in E1 1 and online |
|
23.06.22 |
23.06.22 |
No |
|
|
Graph Representations for Higher-Order Logic and Theorem Proving |
Phase B |
Room 1.06 in E1 1 and online |
|
30.06.22 |
30.06.22 |
No |
|
|
Learning to Represent Programs with Graphs |
Phase B |
Room 1.06 in E1 1 and online |
|
30.06.22 |
30.06.22 |
No |
|
