Neural-Symbolic Computing

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

Timetable

Title Type Location Serial Start End All Day
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 
Competition-Level Code Generation with AlphaCode Phase B Room 1.06 in E1 1 and online 07.07.22 07.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 
Evaluating Large Language Models Trained on Code Phase B Room 1.06 in E1 1 and online 14.07.22 14.07.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 
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 
Kick-Off Kick-Off Room 1.06 in E1 1 and online 21.04.22 21.04.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 
Learning Combinatorial Optimization Algorithms over Graphs Phase B Room 1.06 in E1 1 and online 21.07.22 21.07.22 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.