Type-driven Neural Programming by Example

Follow the full discussion on Reddit.
Hi! I just submitted my AI thesis to arxiv, and figured maybe I'd post about it to get feedback here. It's about neural methods in program synthesis (specifically programming by example), where I wanted to try adding programming types as features to improve learning. (Details at the link above, so I'll try not to repeat too much from there.) I've made a semi-crosspost at /r/Haskell discussing the implementation bits more.

Comments

There's unfortunately not much to read here yet...

Discover the Best of Machine Learning.

Ever having issues keeping up with everything that's going on in Machine Learning? That's where we help. We're sending out a weekly digest, highlighting the Best of Machine Learning.

Join over 900 Machine Learning Engineers receiving our weekly digest.

Best of Machine LearningBest of Machine Learning

Discover the best guides, books, papers and news in Machine Learning, once per week.

Twitter