{"id":"W7097461270","doi":"","title":"Ecole Polytechnique de Montreal","year":2015,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Automaton; Software; Sequence (biology); Range (aeronautics); Natural language; Decomposition; State (computer science); Büchi automaton","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00009931405,0.00003021308,0.0000290075,0.00003455382,0.00001868417,0.00004525985,0.0001222688,0.00002289729,0.00004570356],"category_scores_gemma":[0.00001452227,0.00002750774,0.00001203835,0.00009447686,0.000007635625,0.0001785999,0.00003536562,0.00002730053,0.00004400431],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003547653,"about_ca_system_score_gemma":0.00008828638,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001953301,"about_ca_topic_score_gemma":0.0001748648,"domain_scores_codex":[0.9997159,0.00001457523,0.00005018164,0.00007949069,0.00006136936,0.00007854617],"domain_scores_gemma":[0.9997341,0.000008319692,0.00001278984,0.0001294844,0.00003100037,0.00008430525],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004692313,0.00005453544,0.01712262,0.000001867325,0.000007445556,0.00001542366,0.0009624524,0.005808922,0.0003070205,0.4010617,0.03593218,0.5387212],"study_design_scores_gemma":[0.000370543,0.00005271158,0.03595135,0.000002579561,0.000001532086,0.00006348647,0.00005945906,0.9398527,0.003229254,0.01474724,0.005515611,0.0001535694],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0009970913,0.000003030579,0.9047199,0.0009705688,0.00005867568,0.00003679357,1.451083e-7,0.0002684447,0.09294531],"genre_scores_gemma":[0.6830965,0.000001902044,0.3148769,0.0005871888,0.00001474702,0.000004345045,4.47422e-7,0.000001662892,0.001416373],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9340438,"threshold_uncertainty_score":0.1121733,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01589555196888117,"score_gpt":0.2401595318541748,"score_spread":0.2242639798852936,"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."}}