PetarV's blog

By PetarV, history, 2 years ago, In English

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!



Cheers, Petar

  • Vote: I like it
  • +36
  • Vote: I do not like it

2 years ago, # |
  Vote: I like it +27 Vote: I do not like it

Ah, found this blog post :) I'm this guy:

Shame this didn't get much attention, it's a much more realistic take on applying ML to solving programming tasks than this one:

2 years ago, # |
  Vote: I like it 0 Vote: I do not like it

Auto comment: topic has been updated by PetarV (previous revision, new revision, compare).