{"id":"W2953229660","doi":"10.48550/arxiv.1111.0090","title":"An Improved Implementation and Abstract Interface for Hybrid","year":2011,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Interface (matter); Computer science; Proof assistant; HOL; De Bruijn sequence; Programming language; Mathematical proof; Theoretical computer science; Object (grammar); Set (abstract data type); Syntax; Hybrid system; Representation (politics); Mathematics; Artificial intelligence; 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.0001496336,0.00006484292,0.00005990745,0.00002505306,0.00005808544,0.00007791784,0.000238127,0.00001438625,0.00008013604],"category_scores_gemma":[0.00000585432,0.00005064467,0.00001908871,0.00002786889,0.0000136301,0.0004712681,0.0000547585,0.00002506126,0.00001052829],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000901327,"about_ca_system_score_gemma":0.00001752511,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001153635,"about_ca_topic_score_gemma":0.0001092649,"domain_scores_codex":[0.9995089,0.000007425388,0.00009913015,0.0002084899,0.00003331274,0.0001427104],"domain_scores_gemma":[0.9996556,0.00001993075,0.00003921554,0.000178328,0.00004381176,0.00006312079],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0000352321,0.0002177276,0.003688581,0.00003908348,0.00003407482,0.000003034039,0.009022791,4.964533e-7,0.02920677,0.1402106,0.00311459,0.8144271],"study_design_scores_gemma":[0.002775074,0.002392347,0.09692142,0.00001113831,0.00002429985,0.00004576364,0.001732417,0.09124088,0.7506402,0.04659193,0.006838964,0.0007855451],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1629637,0.00003688697,0.8260715,0.0000369235,0.0001729008,0.0002114418,0.000002155215,0.0001124878,0.01039198],"genre_scores_gemma":[0.952301,0.000003131603,0.04740038,0.00006557021,0.00002709267,0.00001504929,0.000002039156,0.000003616351,0.0001821415],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8136415,"threshold_uncertainty_score":0.206523,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03692913456100608,"score_gpt":0.3089298121459252,"score_spread":0.2720006775849192,"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."}}