{"id":"W2158734104","doi":"10.4204/eptcs.71.6","title":"An Improved Implementation and Abstract Interface for Hybrid","year":2011,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Interface (matter); HOL; Mathematical proof; De Bruijn sequence; Proof assistant; Programming language; Theoretical computer science; Set (abstract data type); Syntax; Hybrid system; Object (grammar); Abstract syntax; Representation (politics); Mathematics; Artificial intelligence; Semantics (computer science); Discrete mathematics","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":[],"consensus_categories":[],"category_scores_codex":[0.002026589,0.0001758177,0.0001759034,0.0001781921,0.0002136465,0.0004530164,0.00145219,0.00004112217,0.000009630826],"category_scores_gemma":[0.00003255969,0.0001484613,0.00003260846,0.0004406769,0.0006142296,0.001376407,0.0002885218,0.000191307,0.000003203495],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001267632,"about_ca_system_score_gemma":0.0001471082,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001995677,"about_ca_topic_score_gemma":0.000005484245,"domain_scores_codex":[0.9977729,0.00001176864,0.0003020633,0.0008002461,0.0002412296,0.0008717656],"domain_scores_gemma":[0.9992834,0.00004188727,0.0001107371,0.0002230435,0.0001733937,0.0001675571],"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.00001390245,0.00005226203,0.0002629755,0.00001485231,0.000002824911,6.909548e-7,0.001385711,3.478386e-7,0.001954994,0.9269404,0.000006638068,0.06936444],"study_design_scores_gemma":[0.0005720427,0.001775878,0.001574142,0.000006102182,0.000004289902,0.00006228848,0.0001175064,0.188594,0.05454467,0.7523117,0.0001344108,0.0003029184],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1187339,0.00005936382,0.8793495,0.00008927096,0.0002069091,0.0005146043,3.000775e-7,0.0001379477,0.0009081415],"genre_scores_gemma":[0.9683036,0.000005650529,0.03145768,0.0000961273,0.00006770121,0.00005738135,5.160336e-7,0.00000893689,0.000002404837],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8495697,"threshold_uncertainty_score":0.6054078,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01377531496396701,"score_gpt":0.2810511710691853,"score_spread":0.2672758561052183,"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."}}