{"id":"W2130628061","doi":"10.1007/978-3-319-08434-3_19","title":"Realms: A Structure for Consolidating Knowledge about Mathematical Theories","year":2014,"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":"Realm; Computer science; Mathematical theory; Mathematical structure; Theoretical computer science; Mathematics; Mathematics education","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003528622,0.001005308,0.001584208,0.005025898,0.002664684,0.009170411,0.003972751,0.001806533,0.02214716],"category_scores_gemma":[0.009171378,0.002249913,0.003135334,0.00461883,0.008868668,0.03683463,0.01090555,0.007530882,0.006796334],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00160166,"about_ca_system_score_gemma":0.001854181,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001580636,"about_ca_topic_score_gemma":0.002359552,"domain_scores_codex":[0.9974766,0.0007912621,0.0003329687,0.0005575807,0.0006730478,0.0001686022],"domain_scores_gemma":[0.9953678,0.002200897,0.0002260839,0.001591841,0.0003729335,0.0002405233],"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.00001514722,0.000007892176,0.00008612582,0.00009150497,0.00001184855,0.00003417606,0.0005551066,0.0003131439,0.0002300174,0.9703958,0.003927675,0.02433157],"study_design_scores_gemma":[0.000007364696,0.00000676326,0.00005835777,0.00007355975,0.00001682076,0.00007377409,0.000135234,0.002162711,0.0005607956,0.9155315,0.0813571,0.00001595099],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005633865,0.002768971,0.9047385,0.002903672,0.000547273,0.0001568705,0.001930919,0.005309361,0.07601053],"genre_scores_gemma":[0.1632766,0.004354291,0.7814089,0.001299983,0.0008131718,0.0005459916,0.005153156,0.002678421,0.04046949],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02214716,"threshold_uncertainty_score":0.07408959,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02001087031241142,"score_gpt":0.2717112692055878,"score_spread":0.2517003988931764,"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."}}