“…Several studies have been undertaken to study the authorship and consistency and interpretability of models (Kurfman et al, 2003; Caldwell, Ramachandran, et al, 2012; Caldwell, Thomas, et al, 2012), as well as elucidating the correctness of model construction (Nagel et al, 2015). Alternatively, some approaches have been proposed that automatically reason on function models from database collections (Lucero et al, 2014; Patel, Andrews, et al, 2016; Sridhar et al, 2016). Finally, some approaches entail the support of first principle based physics reasoning (Goel et al, 2009; Sen et al, 2011 b , 2013 a ).…”