245 followers Verification papers @verif_papers Predicting a Correct Program in Programming by Example. - Rishabh Singh, Sumit Gulwani http://t.co/QDWdZN94x9 22 Jul 2015 Reply Repost Favourite