{"id":"W2132124019","doi":"10.1007/978-3-540-85110-3_19","title":"High-Level Theories","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Psychology; Computer science","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.0009774915,0.0008570852,0.0008275179,0.001516263,0.001797876,0.005513265,0.001475696,0.00126166,0.03564249],"category_scores_gemma":[0.002338344,0.0006848091,0.001029871,0.001580754,0.003756598,0.007673518,0.002151533,0.004395428,0.01002221],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001636508,"about_ca_system_score_gemma":0.0008732787,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009464807,"about_ca_topic_score_gemma":0.00114251,"domain_scores_codex":[0.9991258,0.0002406792,0.00004884092,0.0001858488,0.0002979895,0.0001008411],"domain_scores_gemma":[0.9992397,0.0002858606,0.00003448751,0.0002520523,0.0001395081,0.00004842917],"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.000003334165,0.000004032578,0.00003261133,0.00001774786,0.000002906474,0.00000915078,0.00007381563,0.0001310704,0.00006112701,0.989168,0.004547372,0.005948703],"study_design_scores_gemma":[0.000004290865,0.000002592588,0.00003599811,0.00001941269,0.000003890942,0.00003129276,0.00003828677,0.0004823974,0.000158592,0.9611755,0.03804494,0.000002818507],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00694905,0.005883417,0.2667167,0.005102713,0.0007602726,0.00007462885,0.001171186,0.001025978,0.712316],"genre_scores_gemma":[0.4389045,0.009507198,0.1784455,0.003210995,0.001952172,0.0003376411,0.005446388,0.001234307,0.3609614],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.03564249,"threshold_uncertainty_score":0.1192359,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02640862028976003,"score_gpt":0.2367374919280592,"score_spread":0.2103288716382992,"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."}}