Combining Machine Learning and Formal Techniques for Small Data Applications - A Framework to Explore New Structural Materials | IEEE Conference Publication | IEEE Xplore