{"id":"W2140849218","doi":"10.1007/s10817-010-9194-x","title":"Hybrid","year":2010,"lang":"en","type":"article","venue":"Journal of Automated Reasoning","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":70,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"Engineering and Physical Sciences Research Council; Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Programming language; Soundness; HOL; Syntax; Type theory; Abstract syntax; Object (grammar); Semantics (computer science); Theoretical computer science; Type (biology); 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.0005430882,0.000500127,0.0004850798,0.001237046,0.001232811,0.003125735,0.001553162,0.0009996149,0.08027704],"category_scores_gemma":[0.001414691,0.0004027721,0.0007389051,0.001114478,0.0006506231,0.002972095,0.002362191,0.001197359,0.02010768],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007498398,"about_ca_system_score_gemma":0.001156337,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002274269,"about_ca_topic_score_gemma":0.003525857,"domain_scores_codex":[0.9992901,0.00007042875,0.00003081314,0.0002047655,0.0002928551,0.0001110258],"domain_scores_gemma":[0.9990771,0.0001321766,0.00003288381,0.0004001402,0.0002813347,0.00007636948],"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.0009547207,0.0003668538,0.002987598,0.0003167216,0.0001451972,0.0003369286,0.0004164905,0.01497158,0.02129316,0.412743,0.1109541,0.4345135],"study_design_scores_gemma":[0.0001807176,0.0002157788,0.001987564,0.0001401285,0.0001576173,0.0008827164,0.00040706,0.07531946,0.03620599,0.2071636,0.6772401,0.00009923938],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.04037758,0.001306441,0.4543286,0.001251129,0.001622586,0.0002773323,0.00395216,0.01469209,0.482192],"genre_scores_gemma":[0.407719,0.0008018523,0.2232528,0.001145962,0.0002387866,0.000299222,0.008268581,0.002591837,0.3556818],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.08027704,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01017665470751357,"score_gpt":0.2508258454006908,"score_spread":0.2406491906931772,"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."}}