{"id":"W2796295393","doi":"10.1145/3178126.3178153","title":"ROCS","year":2018,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Realizability; Robustness (evolution); Computer science; Nonlinear system; Robust control; Control system; Interval (graph theory); Control theory (sociology); Algorithm; Control (management); Mathematics; Engineering; Artificial intelligence","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.001663003,0.0009375929,0.0006423524,0.001552369,0.0008685196,0.002329574,0.001940631,0.00108114,0.08135264],"category_scores_gemma":[0.006616628,0.0004082128,0.0009992369,0.0007608482,0.0009786274,0.00236685,0.002671615,0.001365506,0.04094497],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001000434,"about_ca_system_score_gemma":0.001675424,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00161724,"about_ca_topic_score_gemma":0.001575081,"domain_scores_codex":[0.9968449,0.0004110489,0.0002441758,0.0006520882,0.00152811,0.0003197026],"domain_scores_gemma":[0.9971507,0.0005626062,0.0001976691,0.001021973,0.0009277422,0.0001392871],"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.0004374009,0.0001034863,0.0009200531,0.000775136,0.00004903525,0.0004940446,0.0002740011,0.01775213,0.01105167,0.3484509,0.1242987,0.4953933],"study_design_scores_gemma":[0.00006647428,0.0001343009,0.0003528357,0.0001960113,0.0000330129,0.0005104176,0.00008296933,0.03839113,0.01316602,0.07136198,0.8756459,0.00005897169],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007577644,0.001218094,0.6551282,0.001396928,0.001288467,0.0004951655,0.004361502,0.04330405,0.28523],"genre_scores_gemma":[0.2638905,0.002182823,0.4679781,0.002327755,0.0009814003,0.00106732,0.01878157,0.01186345,0.2309271],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.08135264,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02828522585651348,"score_gpt":0.3114379991752826,"score_spread":0.2831527733187691,"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."}}