Neural-Symbolic Computing

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

Timetable

Title Type Location Serial Start End All Day
Project Submission Deadline 08.09.22 08.09.22 No 
Learning to Solve SMT Formulas Phase B Room 1.06 in E1 1 and online 21.07.22 21.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 
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 
Evaluating Large Language Models Trained on Code Phase B Room 1.06 in E1 1 and online 14.07.22 14.07.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 
Competition-Level Code Generation with AlphaCode Phase B Room 1.06 in E1 1 and online 07.07.22 07.07.22 No 
Teaching Temporal Logics to Neural Networks 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 
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 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.