{"id":"W1809667602","doi":"10.1109/sess.1997.596015","title":"IEEE Formal Methods Planning","year":2005,"lang":"en","type":"article","venue":"","topic":"Digital Media and Visual Art","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Hydro One (Canada)","funders":"","keywords":"Computer science; Formal methods; Software engineering","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.0001869539,0.00005059872,0.00005690242,0.00003448968,0.00003766407,0.0001023425,0.0003285375,0.00001708925,0.00002023251],"category_scores_gemma":[0.00001452913,0.00003851925,0.00002620503,0.0001015801,0.000009629309,0.00136508,0.00009419228,0.0000405885,0.0002842264],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007515955,"about_ca_system_score_gemma":0.00001202912,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001115793,"about_ca_topic_score_gemma":4.24324e-7,"domain_scores_codex":[0.9994934,0.00001404474,0.00008598644,0.0001180699,0.00009160332,0.0001969603],"domain_scores_gemma":[0.9996812,0.00006509431,0.00001391505,0.0001522231,0.0000127799,0.00007472569],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[8.761288e-7,0.00002206143,0.0001021961,0.000001450721,0.000002940967,0.000002455361,0.0004031936,0.00005673758,0.0006129061,0.07360902,0.003562068,0.9216241],"study_design_scores_gemma":[0.0003251647,0.0001849622,0.001209637,0.00001376525,0.000002312223,0.00003871747,0.00004622362,0.2825839,0.120537,0.00539065,0.5893573,0.0003104115],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007972668,0.00001763631,0.8245921,0.0004308198,0.0002772396,0.00002348627,6.43975e-8,0.0001529307,0.166533],"genre_scores_gemma":[0.3936549,4.455067e-7,0.6025726,0.001140859,0.0001235424,0.000003013258,1.665832e-7,0.000002324959,0.002502166],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9213137,"threshold_uncertainty_score":0.365325,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05992445131134928,"score_gpt":0.4050813913429172,"score_spread":0.3451569400315679,"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."}}