{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006855563,0.0008447047,0.001092762,0.00179289,0.001260696,0.005301133,0.00386759,0.002188074,0.01018382],"category_scores_gemma":[0.009101016,0.001545649,0.002408216,0.001319649,0.005001354,0.01386134,0.006723569,0.00621973,0.002960338],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001803419,"about_ca_system_score_gemma":0.002366181,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00152509,"about_ca_topic_score_gemma":0.001086926,"domain_scores_codex":[0.9933566,0.001608222,0.0008528155,0.0009612174,0.002655141,0.0005658639],"domain_scores_gemma":[0.9933771,0.002000858,0.0003221548,0.002655641,0.001418392,0.0002258458],"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.0001259613,0.00005419786,0.0004891817,0.0001460947,0.0000266937,0.0001407899,0.0007182238,0.003601628,0.006586683,0.9576941,0.003373771,0.0270427],"study_design_scores_gemma":[0.0001684302,0.0002962437,0.0004891541,0.0001757584,0.0001777699,0.0006513533,0.0003986805,0.1353133,0.03974862,0.5938502,0.2285125,0.0002179709],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002880873,0.00005429744,0.9884836,0.0002634066,0.0001133882,0.00007332193,0.00009175658,0.004404433,0.003634907],"genre_scores_gemma":[0.1461913,0.0002420807,0.8384442,0.0007476075,0.0002024687,0.0004657114,0.0005681423,0.00291072,0.01022776],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01018382,"threshold_uncertainty_score":0.03625613,"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."}}