Event Categories
- Name
- Phase B
- Farbe
- Blue
Related Events
| Title | Status | Starttime | Endtime | the whole day | |
|---|---|---|---|---|---|
| Learning a SAT Solver from Single-Bit Supervision | Scheduled | 23.06.2022 11:00 | 23.06.2022 11:45 | No |
|
| Graph Representations for Higher-Order Logic and Theorem Proving | Scheduled | 30.06.2022 10:15 | 30.06.2022 11:00 | No |
|
| Learning to Represent Programs with Graphs | Scheduled | 30.06.2022 11:00 | 30.06.2022 11:45 | No |
|
| Teaching Temporal Logics to Neural Networks | Scheduled | 07.07.2022 10:15 | 07.07.2022 11:00 | No |
|
| Competition-Level Code Generation with AlphaCode | Scheduled | 07.07.2022 11:00 | 07.07.2022 11:45 | No |
|
| Evaluating Large Language Models Trained on Code | Scheduled | 14.07.2022 10:15 | 14.07.2022 11:00 | No |
|
| Learning Combinatorial Optimization Algorithms over Graphs | Scheduled | 21.07.2022 10:15 | 21.07.2022 11:00 | No |
|
| Learning to Solve SMT Formulas | Scheduled | 21.07.2022 11:00 | 21.07.2022 11:45 | No |
|
| Mastering the Game of Go with Deep Neural Networks and Tree Search | Scheduled | 14.07.2022 11:00 | 14.07.2022 11:45 | No |
|
| Data-Driven Approximations to NP-Hard Problems | Scheduled | 23.06.2022 10:15 | 23.06.2022 11:00 | No |
|
| Advancing Mathematics by Guiding Human Intuition with AI | Scheduled | 07.07.2022 11:45 | 07.07.2022 12:30 | No |
|