{"id":"W2085380106","doi":"10.1007/s10009-009-0117-2","title":"Approximating the safely reusable set of learned facts","year":2009,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Theory of computation; Computer science; Set (abstract data type); Programming language; Theoretical computer science","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001734445,0.0009395097,0.001083291,0.002325502,0.0006753799,0.002421304,0.002428354,0.001226179,0.006582409],"category_scores_gemma":[0.0235241,0.000804425,0.00148881,0.001357288,0.00173271,0.004361388,0.002729893,0.002137733,0.0006476988],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001915979,"about_ca_system_score_gemma":0.002795186,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00821059,"about_ca_topic_score_gemma":0.00744631,"domain_scores_codex":[0.9978606,0.0003485676,0.0001474964,0.0003441812,0.001032177,0.0002669786],"domain_scores_gemma":[0.9884642,0.007399805,0.0005876229,0.002010265,0.001251243,0.0002868355],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0006376084,0.0002162306,0.005514619,0.000340431,0.0001601914,0.0006056604,0.0003241115,0.6960092,0.004617433,0.1106158,0.002662887,0.1782958],"study_design_scores_gemma":[0.00003918654,0.00005686918,0.0003425591,0.00003639916,0.00003540864,0.00008659507,0.00005863899,0.8798763,0.002599121,0.1158811,0.000978,0.000009881468],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2269769,0.0003653709,0.7632325,0.0005052008,0.00006759356,0.0001134767,0.0006874983,0.001353555,0.006697924],"genre_scores_gemma":[0.7751483,0.0004271098,0.2173716,0.0000971791,0.00004903959,0.0001461824,0.001634827,0.0003467796,0.004778968],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00821059,"threshold_uncertainty_score":0.02202034,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06439611653173218,"score_gpt":0.3409925668288614,"score_spread":0.2765964502971292,"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."}}