{"id":"W2141294623","doi":"10.1007/978-3-642-22673-1_23","title":"MathScheme: Project Description","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Leverage (statistics); Axiom; Symbolic computation; Computer science; Computation; Term (time); Axiomatic system; Automated theorem proving; Process (computing); Software; Software engineering; Theoretical computer science; Mathematics; Programming language; Artificial intelligence","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001033652,0.0005315533,0.0005059532,0.0007692453,0.0002379381,0.0007451097,0.003350625,0.0004028273,0.00002352899],"category_scores_gemma":[0.00005326571,0.0004437579,0.0001596502,0.0005833498,0.0005128023,0.0008159629,0.001131566,0.0006739395,0.000192555],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002515175,"about_ca_system_score_gemma":0.0005928014,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001761821,"about_ca_topic_score_gemma":0.0001278075,"domain_scores_codex":[0.9962834,0.00004109186,0.0005239391,0.001548434,0.0008679716,0.0007351559],"domain_scores_gemma":[0.9976702,0.0001027741,0.0003383443,0.001497708,0.000252907,0.0001380626],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000004023319,0.00003647103,0.00009854643,0.00006462673,0.0000123232,0.00009525008,0.001526641,0.0001207505,0.00008791021,0.3887358,0.00009860748,0.6091191],"study_design_scores_gemma":[0.0003542561,0.0004251094,0.0001188176,0.0001329305,0.00001474768,0.0002769072,3.443677e-7,0.05523977,0.001146935,0.9070822,0.03393785,0.001270152],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00001354246,0.0005543169,0.9705491,0.00009522981,0.003023446,0.0006048777,8.486008e-7,0.0003279011,0.0248307],"genre_scores_gemma":[0.5856866,0.00009196869,0.4068209,0.001111419,0.001312497,0.00005388626,0.00001018147,0.0000819483,0.004830651],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6078489,"threshold_uncertainty_score":0.9998014,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04594360053285044,"score_gpt":0.2526726204006975,"score_spread":0.2067290198678471,"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."}}