{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008094282,0.00009404924,0.000191736,0.0001272627,0.00009872808,0.000243147,0.0006811859,0.00005472636,0.00001514445],"category_scores_gemma":[0.0002022597,0.00006762028,0.0001044365,0.0001709531,0.00002683836,0.0004783416,0.0000739305,0.0003749864,0.00004237694],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001796239,"about_ca_system_score_gemma":0.0001125551,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001291206,"about_ca_topic_score_gemma":0.000001884568,"domain_scores_codex":[0.9989735,0.00004675058,0.000346577,0.0001142732,0.0003001673,0.0002186597],"domain_scores_gemma":[0.9989052,0.00005614695,0.0004484772,0.0002447098,0.0002138445,0.0001316205],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002928779,0.0003668357,0.01005331,0.00007626668,0.0003324514,0.002738287,0.003013979,0.000333335,0.07419311,0.6809053,0.0306152,0.1973426],"study_design_scores_gemma":[0.003199992,0.001170461,0.02510896,0.0001591267,0.00008980238,0.03628697,0.0001988479,0.6300623,0.05874922,0.0316909,0.2121223,0.001161129],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.575277,0.0005126318,0.401433,0.000743735,0.008619469,0.0001439635,2.991836e-7,0.001251674,0.01201824],"genre_scores_gemma":[0.9723277,0.000005413489,0.02720773,0.00005088173,0.0002944967,6.105858e-7,2.140813e-7,0.00000745014,0.000105465],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6492144,"threshold_uncertainty_score":0.2757475,"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."}}