{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0009980381,0.002193342,0.00173031,0.001934661,0.002752966,0.005316004,0.001832736,0.001682651,0.4128921],"category_scores_gemma":[0.003123873,0.0005636716,0.001000303,0.002463203,0.001565589,0.001962224,0.002560002,0.002259031,0.1630509],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007656206,"about_ca_system_score_gemma":0.007665073,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.1662049,"about_ca_topic_score_gemma":0.165386,"domain_scores_codex":[0.9970939,0.0003161733,0.00007152079,0.001131878,0.0008706977,0.0005158074],"domain_scores_gemma":[0.9978135,0.0006163225,0.0001072784,0.0003084081,0.0007586798,0.0003958686],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0007417703,0.0002392859,0.004462867,0.001451589,0.0001588582,0.001813259,0.000606631,0.005849153,0.005696869,0.1982608,0.4042985,0.3764204],"study_design_scores_gemma":[0.0000725913,0.00006137591,0.003139648,0.0002034367,0.00002189789,0.0002686687,0.0001426317,0.001890401,0.001485626,0.008992698,0.9836622,0.00005885523],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00963028,0.02308323,0.02035033,0.01504644,0.004546656,0.0003312226,0.01718767,0.002420828,0.9074034],"genre_scores_gemma":[0.05730158,0.01482138,0.02045983,0.001093821,0.0005198566,0.0002706846,0.009591767,0.0009124468,0.8950287],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.5871079,"threshold_uncertainty_score":0.8374382,"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."}}