https://people.csail.mit.edu/asolar/papers/pldi276-chaudhuri.pdf

ThoughtWorksInc / DeepDarkFantasy

A Programming Language for Deep Learning

Apache License 2.0

462 stars 47 forks source link

https://people.csail.mit.edu/asolar/papers/pldi276-chaudhuri.pdf #169

Closed MarisaKirisame closed 5 years ago

rainoftime commented 7 years ago

Smooth interpretation(

rainoftime commented 7 years ago

Related and Later work

Continuity analysis of programs. POPL 10
Smoothing a program soundly and robustly. CAV 11
Bridging Boolean and quantitative synthesis using smoothed proof search. POPL 14

MarisaKirisame commented 7 years ago

I am crawling the reference. All I found work only on imperative language without sum type (in one paper one even model program as transformation on bits, WTF)... Wonder if I am looking at the wrong place.

rainoftime commented 7 years ago

Yep. I guess it was not the thing you thought to be.

MarisaKirisame commented 7 years ago

http://mlg.eng.cam.ac.uk/pub/pdf/SciGhaGor15.pdf Maybe we should do smooth interpretation by probabilistic sampling by embedding this into DDF...