Theory identity: A machine-learning approach (in press)