Neural-Symbolic Computing Calendar

Kick-Off
2022-04-21 08:15 - 09:45 UTC | Room 1.06 in E1 1 and online

Paper Preferences
2022-04-24 21:59

Paper Notification
2022-04-25

Feedforward and Recurrent Neural Networks
2022-05-05 08:15 - 09:45 | Room 1.06 in E1 1 and online

Graph Neural Networks and Message Passing
2022-05-12 08:15 - 09:45 | Room 1.06 in E1 1 and online

Transformers and Large Language Models
2022-05-19 08:15 - 09:45 | Room 1.06 in E1 1 and online

Reinforcement Learning
2022-06-02 08:15 - 09:45 | Room 1.06 in E1 1 and online

Data-Driven Approximations to NP-Hard Problems
2022-06-23 08:15 - 09:00 | Room 1.06 in E1 1 and online

Learning a SAT Solver from Single-Bit Supervision
2022-06-23 09:00 - 09:45 | Room 1.06 in E1 1 and online

Graph Representations for Higher-Order Logic and Theorem Proving
2022-06-30 08:15 - 09:00 | Room 1.06 in E1 1 and online

Learning to Represent Programs with Graphs
2022-06-30 09:00 - 09:45 | Room 1.06 in E1 1 and online

Teaching Temporal Logics to Neural Networks
2022-07-07 08:15 - 09:00 | Room 1.06 in E1 1 and online

Competition-Level Code Generation with AlphaCode
2022-07-07 09:00 - 09:45 | Room 1.06 in E1 1 and online

Advancing Mathematics by Guiding Human Intuition with AI
2022-07-07 09:45 - 10:30 | Room 1.06 in E1 1 and online

Evaluating Large Language Models Trained on Code
2022-07-14 08:15 - 09:00 | Room 1.06 in E1 1 and online

Mastering the Game of Go with Deep Neural Networks and Tree Search
2022-07-14 09:00 - 09:45 | Room 1.06 in E1 1 and online

Learning Combinatorial Optimization Algorithms over Graphs
2022-07-21 08:15 - 09:00 | Room 1.06 in E1 1 and online

Learning to Solve SMT Formulas
2022-07-21 09:00 - 09:45 | Room 1.06 in E1 1 and online

Project Submission
2022-09-08 21:59
