{"id":"W2964199111","doi":"10.1109/formalise.2019.00021","title":"On the Formalization of Importance Measures Using HOL Theorem Proving","year":2019,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"HOL; Computer science; Component (thermodynamics); Scalability; Reliability (semiconductor); Measure (data warehouse); Property (philosophy); Rank (graph theory); Theoretical computer science; Formal verification; Automated theorem proving; Data mining; Mathematics; Programming language","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001005274,0.00005778178,0.00006672072,0.00003972576,0.00005154211,0.00003930881,0.0004895159,0.00002634186,0.00002379233],"category_scores_gemma":[0.0001673858,0.00003476162,0.00002668225,0.0002347055,0.00002407807,0.0004649419,0.00006408742,0.00005129659,0.00001187974],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002501208,"about_ca_system_score_gemma":0.00003228107,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009097873,"about_ca_topic_score_gemma":0.000001343066,"domain_scores_codex":[0.9992579,0.0000888217,0.0001714449,0.0001353402,0.0002435128,0.0001030128],"domain_scores_gemma":[0.9991305,0.00008859766,0.0001523598,0.0005334719,0.00008229742,0.00001278066],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003314154,0.000008353971,0.001772457,0.000008291557,0.000002454003,4.899455e-8,0.0002430726,0.0008774711,0.008218591,0.9848047,0.00001419038,0.00404705],"study_design_scores_gemma":[0.00008645051,0.00006260302,0.002730737,0.00003152386,0.000002282065,0.000003135707,0.00006827056,0.8318943,0.1390076,0.02593126,0.00009141568,0.00009040275],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2377313,0.000009647621,0.7514938,0.00005296758,0.0001272567,0.0002081879,1.628323e-7,0.00003692974,0.01033976],"genre_scores_gemma":[0.7845106,0.000001009472,0.2152677,0.000146907,0.000007575513,0.000003146291,1.914145e-7,0.000003515236,0.00005933168],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9588735,"threshold_uncertainty_score":0.1417537,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04569896071797715,"score_gpt":0.2844089599887336,"score_spread":0.2387099992707564,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}