{"id":"W2163834675","doi":"10.5465/amr.2009.36982613","title":"The Case for Formal Theory","year":2009,"lang":"en","type":"article","venue":"Academy of Management Review","topic":"Complex Systems and Decision Making","field":"Decision Sciences","cited_by":131,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Theory; Management science; Formal methods; Management theory; Formal description; Software engineering; Programming language; 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.01502634,0.0001188768,0.0003804152,0.00009525077,0.0003413601,0.0001001872,0.001042072,0.00003318989,0.0001238292],"category_scores_gemma":[0.0009666958,0.00005933623,0.0002976756,0.0004822163,0.00004508756,0.0002355715,0.0001999755,0.00008407129,0.00008711778],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001041463,"about_ca_system_score_gemma":0.000004549929,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":6.38378e-7,"about_ca_topic_score_gemma":7.218323e-7,"domain_scores_codex":[0.9973243,0.000224328,0.001158462,0.0002973342,0.0007311255,0.0002644659],"domain_scores_gemma":[0.9966739,0.002249671,0.0005061837,0.0004387006,0.0000770028,0.00005447695],"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":[0.000006835088,0.000004471663,0.000001324984,0.00007019586,0.000007097272,0.000005774178,0.000004921193,0.000001403007,3.297869e-7,0.4107265,0.0936302,0.4955409],"study_design_scores_gemma":[0.0001160043,0.00002496751,0.0002687708,0.0003656826,0.0000317167,0.00005704961,0.0000888987,0.0001054433,0.00000207803,0.3306887,0.6681961,0.00005457274],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"review","genre_gemma":"empirical","genre_scores_codex":[0.0008326231,0.7512245,0.1187263,0.02451903,0.0004049392,0.004977681,0.00001261475,0.00006839166,0.09923385],"genre_scores_gemma":[0.8720642,0.05793291,0.007893638,0.02450068,0.0003234307,0.0002294274,9.811462e-7,0.00002476632,0.03702995],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8712316,"threshold_uncertainty_score":0.5207859,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1893790155361783,"score_gpt":0.4588118397361187,"score_spread":0.2694328241999403,"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."}}