Machine Learning to predict the Halting Problem
After some digging around, I finally came across the original paper.

Regarding applications of a (necessarily fallible) predictor of halting - one possibility is to use it as a heuristic in some wider heuristic process, for example in the generation of Turing-complete programs for Genetic Programming.