Mixed Formal Learning: A Path to Transparent Machine Learning