{"id":"W4313359522","doi":"10.1007/978-3-031-21112-6_9","title":"Theories","year":2023,"lang":"en","type":"book-chapter","venue":"Computer science foundations and applied logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Axiom; Epistemology; Philosophy; Set (abstract data type); Set theory; Axiomatic system; Computer science; Linguistics; Mathematics; Programming language","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.0004350859,0.0003585805,0.0003291198,0.0004179378,0.001026033,0.0009447745,0.001706395,0.000135137,0.00003557466],"category_scores_gemma":[0.00001195365,0.0002989374,0.00007050083,0.0004321446,0.00129313,0.0005332495,0.001531244,0.0002921597,0.0006086786],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005738749,"about_ca_system_score_gemma":0.0002197907,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":6.340316e-7,"about_ca_topic_score_gemma":0.000001559337,"domain_scores_codex":[0.9976043,0.00000655456,0.0003106131,0.001149855,0.000484008,0.0004446438],"domain_scores_gemma":[0.9984537,0.0001464274,0.0001896416,0.0008971262,0.0001334611,0.0001796925],"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":[5.631788e-7,0.000005674329,5.044209e-7,0.000007795775,0.000005623203,0.000005252698,0.0000878745,0.0001166398,0.00002042222,0.8870122,0.0001087428,0.1126287],"study_design_scores_gemma":[0.00009750246,0.00006077651,0.00007024137,0.00002573651,0.00000742662,0.00001977248,0.000004661844,0.005402573,0.00001748435,0.9723838,0.02151477,0.0003952695],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001267181,0.00006813783,0.7305772,0.0003962605,0.000781908,0.0002219764,0.000003784436,0.0004833648,0.2674547],"genre_scores_gemma":[0.06512047,0.0009175173,0.6375611,0.004233535,0.001757936,0.0001542653,0.00008515835,0.0001438806,0.2900261],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1122334,"threshold_uncertainty_score":0.9999463,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03031247819871805,"score_gpt":0.2585829433294015,"score_spread":0.2282704651306835,"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."}}