Neural-Symbolic Computing

Raven Beutner, Bernd Finkbeiner, Christopher Hahn, Niklas Metzger, Frederik Schmitt, Julian Siber

Timetable

Title Type Location Serial Start End All Day
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 
Mastering the Game of Go with Deep Neural Networks and Tree Search Phase B Room 1.06 in E1 1 and online 14.07.22 14.07.22 No 
Data-Driven Approximations to NP-Hard Problems Phase B Room 1.06 in E1 1 and online 23.06.22 23.06.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 
Learning to Represent Programs with Graphs Phase B Room 1.06 in E1 1 and online 30.06.22 30.06.22 No 
Feedforward and Recurrent Neural Networks Phase A Room 1.06 in E1 1 and online 05.05.22 05.05.22 No 
Graph Neural Networks and Message Passing Phase A Room 1.06 in E1 1 and online 12.05.22 12.05.22 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.