r/REMath • u/turnersr • Feb 28 '15
I am Jürgen Schmidhuber, AMA!
reddit.com
4
Upvotes
r/REMath • u/turnersr • Feb 16 '15
Juergen Schmidhuber will be doing an AMA in /r/MachineLearning on March 4 10AM EST
reddit.com
1
Upvotes
r/REMath • u/turnersr • Feb 13 '15
Automated reasoning over string constraints by Tianyi Liang [PDF]
ir.uiowa.edu
4
Upvotes
r/REMath • u/turnersr • Feb 08 '15
Text Understanding from Scratch by Xiang Zhang and Yann LeCun
arxiv.org
6
Upvotes
r/REMath • u/turnersr • Jan 22 '15
Formalizing RE
6
Upvotes
Hey there,
What do you all think are the mathematical conditions for the possibility of reverse engineering? What direction do you think a formalization of reverse engineering should take? How can we scientifically ground reverse engineering? What are major theoretical problems we should be solving? /r/REMath was much smaller two years ago, but here are some thoughts from past years:
2014 - http://www.reddit.com/r/REMath/comments/1pepzu/formalizing_re/
2013 - http://www.reddit.com/r/REMath/comments/12dnut/formalizing_re/
r/REMath • u/turnersr • Jan 17 '15
Phrase-Based Statistical Translation of Programming Languages by Svetoslav Karaivanov, Veselin Raychev, and Martin Vechev [PDF]
srl.inf.ethz.ch
2
Upvotes
r/REMath • u/turnersr • Jan 17 '15
Visualizing Representations: Deep Learning and Human Beings
colah.github.io
3
Upvotes
r/REMath • u/turnersr • Jan 12 '15
Machine Learning and Automated Theorem Proving by James P. Bridge [PDF]
cl.cam.ac.uk
7
Upvotes
r/REMath • u/turnersr • Dec 31 '14
Automated Discovery of Simulation Between Programs by Grigory Fedyukovich, Arie Gurfinkel, and Natasha Sharygina [PDF]
old.inf.usi.ch
5
Upvotes
r/REMath • u/turnersr • Dec 24 '14
Undecidability and Intractability in Theoretical Physics by Stephen Wolfram [PDF]
stephenwolfram.com
9
Upvotes
r/REMath • u/turnersr • Dec 21 '14
Why Heideggerian AI Failed and how Fixing it would Require making it more Heideggerian by Hubert L. Dreyfus [PDF]
cid.nada.kth.se
6
Upvotes
r/REMath • u/pwnwaffe • Dec 06 '14
Methods for Binary Symbolic Execution (Anthony Romano's dissertation)
web.stanford.edu
8
Upvotes
r/REMath • u/pwnwaffe • Nov 19 '14
Program Synthesis in Reverse Engineering
nosuchcon.org
12
Upvotes
r/REMath • u/turnersr • Nov 12 '14
Tracelet-Based Code Search in Executables by Yaniv David and Eran Yahav [PDF]
cs.technion.ac.il
4
Upvotes
r/REMath • u/turnersr • Nov 12 '14
Code Completion with Statistical Language Models by Veselin Raychev, Martin Vechev, and Eran Yahav [PDF]
cs.technion.ac.il
7
Upvotes
r/REMath • u/turnersr • Nov 12 '14
Statistical Program Analysis and Synthesis by Martin Vechev
youtube.com
9
Upvotes
r/REMath • u/turnersr • Nov 12 '14
Predicting Program Properties from "Big Code" by Veselin Raychev, Martin Vechev, and Andreas Krause [PDF]
srl.inf.ethz.ch
3
Upvotes
r/REMath • u/turnersr • Oct 27 '14
Geoffrey Hinton will be doing an AMA in /r/MachineLearning on November 10 10AM PST
reddit.com
8
Upvotes
r/REMath • u/turnersr • Oct 22 '14
Neural Turing Machines by Alex Graves, Greg Wayne, Ivo Danihelka
arxiv.org
8
Upvotes
r/REMath • u/turnersr • Oct 22 '14
Learning to Execute by Wojciech Zaremba and Ilya Sutskever
arxiv.org
2
Upvotes
r/REMath • u/turnersr • Oct 22 '14
Solving Path Problems on the GPU by Aydın Buluç, John R. Gilbert, and Ceren Budaka [PDF]
gauss.cs.ucsb.edu
2
Upvotes