Stanford’s Puffer uses machine learning to research the problem