The job search process so far has been fantastic for taking a step back, reading lots of work from all over CS, and getting a sense of how it all fits back into my work so far and my future vision. Getting started on the next proof repair project right now and it's great!!!
-
Pokaż ten wątek
-
Also this should be useful and interesting outside of the world of proof repair too, I think. It is going to be fun I'm excited I think sometimes talking and reading is way more productive than sitting down and coding, and I need to remember that going forward.
1 odpowiedź 0 podanych dalej 3 polubionePokaż ten wątek -
Like the whole reason I even ever thought of this idea as a reasonable approach is because I was reading about inverse problems for reconstructing images. Took me down a wild path of talking to neural synthesis and proof synthesis folks. Will be cool everything is interesting
2 odpowiedzi 0 podanych dalej 5 polubionychPokaż ten wątek
Prof Carola Schonlieb has really interesting papers in the area.
Wydaje się, że ładowanie zajmuje dużo czasu.
Twitter jest przeciążony lub wystąpił chwilowy problem. Spróbuj ponownie lub sprawdź status Twittera, aby uzyskać więcej informacji.
to 
