{"id":"W2100330382","doi":"10.1023/a:1022971915900","title":"An Overview of a Formal Framework for Managing Mathematics","year":2003,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"Mitacs","keywords":"Complex system; Computer science; Mathematics; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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.001178181,0.0001351218,0.0003374278,0.00007770894,0.00008782544,0.00008822256,0.0004287587,0.00007281335,0.000009175428],"category_scores_gemma":[0.0002527329,0.0001118657,0.0001029371,0.0002099532,0.00008393947,0.0002827757,0.00005914873,0.00006249531,0.000004229534],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002273663,"about_ca_system_score_gemma":0.00002548057,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008015772,"about_ca_topic_score_gemma":0.000003858293,"domain_scores_codex":[0.998655,0.00002547317,0.0006460872,0.0001980795,0.0002054224,0.0002699473],"domain_scores_gemma":[0.9985824,0.0003045966,0.000374467,0.0004532139,0.0002081286,0.0000772483],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000001559885,0.0002797178,0.000006674978,0.0007181103,0.00001711408,6.461599e-7,0.003286693,0.00003369342,0.000163457,0.9539577,0.00000638046,0.04152822],"study_design_scores_gemma":[0.0000116993,0.0002180262,0.000001599449,0.00007847309,0.000008509403,0.000005867142,0.001217173,0.05176372,0.04235359,0.9040548,0.0001717791,0.0001148014],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006044192,0.0007934157,0.991993,0.0001109635,0.0001106527,0.0002939292,0.000001906639,0.00002737178,0.0006245925],"genre_scores_gemma":[0.6730365,0.0002357047,0.3266298,0.00004752991,0.00001951261,0.00001346904,4.766244e-7,0.000008114558,0.000008949226],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6669922,"threshold_uncertainty_score":0.4561749,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2547688236814281,"score_gpt":0.3963818287865096,"score_spread":0.1416130051050815,"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."}}