TY - RPRT TI - Mixed Formal Learning: A Path to Transparent Machine Learning AU - Sandra Carrico PY - 2019 UR - https://arxiv.org/abs/1901.06622 ID - 1901.06622 ER -