{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00522373,0.00132878,0.001623466,0.004580708,0.003598613,0.01219524,0.004188395,0.003793274,0.009829262],"category_scores_gemma":[0.005181445,0.0014358,0.002791317,0.005900462,0.008426696,0.0228528,0.004397695,0.00772131,0.004352795],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003332568,"about_ca_system_score_gemma":0.003489209,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003096114,"about_ca_topic_score_gemma":0.00382012,"domain_scores_codex":[0.9972409,0.0008718772,0.0004235144,0.0003974035,0.0008312147,0.0002350554],"domain_scores_gemma":[0.9973966,0.001217634,0.0002041005,0.0005529275,0.0004186983,0.0002101119],"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.000007016758,0.00001282208,0.00004203612,0.00009942222,0.00000489693,0.0000336465,0.0001192596,0.0004747781,0.0001314684,0.981876,0.004048367,0.01315032],"study_design_scores_gemma":[0.000009293132,0.00000993256,0.00005447499,0.000123408,0.0000107512,0.0001471697,0.00006866518,0.003241478,0.000226466,0.8781692,0.1179188,0.0000203932],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"review","genre_scores_codex":[0.00116449,0.02489722,0.9245377,0.008800152,0.001056694,0.0001382461,0.0004126592,0.001273946,0.03771891],"genre_scores_gemma":[0.04744326,0.03123206,0.8972411,0.002570407,0.003392434,0.0005668033,0.0007472677,0.0006333915,0.01617332],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.01219524,"threshold_uncertainty_score":0.03288215,"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."}}