(Graph) Neural Networks for Algorithmic Reasoning

Revision en4, by PetarV, 2020-05-05 14:50:24

Hello Codeforces,

It's been a while since my last activity / contest participation on here! I've largely moved on from competitive programming to machine learning, but still tried to keep up with the vibrant community of sport programmers whenever possible.

Recently I've decided to orient my focus in ways in which we can combine the representational power of neural networks (great for handling big, noisy, "real-world" data) with the incredible robustness of algorithms (provably correct, trivially generalisable across problem instances, compositionality w.r.t. subroutines and functions). One way forward is teaching neural nets the execution steps of algorithms -- i.e. replicating the intermediate outputs on classical competitive programming algorithms and tasks.

I produced the following slide deck (gave as keynote at WWW'20 Workshop on Deep Learning for Graphs) which outlines the recent explosion of work in the area (including my own). There is credit to Codedorces in one of the slides -- as one of the places that really got me into algorithmic programming / computer science in general -- including a photo of the ACM-ICPC team from Cambridge I coached (dd__, MeinKraft, zDule98) that won NWERC'17. :)

Hope you'd find it interesting!

Recording: https://www.youtube.com/watch?v=IPQ6CPoluok

Slides: https://petar-v.com/talks/Algo-WWW.pdf

Cheers, Petar

History

 
 
 
 
Revisions
 
 
  Rev. Lang. By When Δ Comment
en4 English PetarV 2020-05-05 14:50:24 2 Tiny change: '6CPoluok\nSlides: ' -> '6CPoluok\n\nSlides: '
en3 English PetarV 2020-05-05 14:49:58 64
en2 English PetarV 2020-04-22 15:55:09 3
en1 English PetarV 2020-04-22 15:54:01 1461 Initial revision (published)