{"id":"W4236854803","doi":"10.1145/3178126.3187006","title":"ROCS","year":2018,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Usability; Nonlinear system; Nonlinear dynamical systems; Control (management); Human–computer interaction; 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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001743269,0.0009117828,0.0006026875,0.001750555,0.0008126569,0.002550174,0.001735646,0.001211051,0.1476807],"category_scores_gemma":[0.006594518,0.0004942766,0.000995458,0.0007053905,0.0009200909,0.002475496,0.002817663,0.001439799,0.07009939],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009145497,"about_ca_system_score_gemma":0.001352412,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001354251,"about_ca_topic_score_gemma":0.001476624,"domain_scores_codex":[0.9976962,0.0003428617,0.0001681084,0.0004465678,0.001089,0.000257327],"domain_scores_gemma":[0.9972626,0.0006102565,0.000149659,0.0009598691,0.0008557558,0.0001618686],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0004422259,0.00009889279,0.0008522981,0.0008623308,0.0000426843,0.0006776886,0.0003462716,0.01101875,0.01144899,0.3047729,0.2267661,0.4426709],"study_design_scores_gemma":[0.00005937679,0.00009949556,0.0002345624,0.0001790946,0.00001915209,0.0005321082,0.00007341886,0.01974648,0.01139991,0.04426662,0.9233448,0.00004498357],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.006966105,0.001038225,0.5478647,0.002403107,0.001816943,0.0005103746,0.006464227,0.07960407,0.3533322],"genre_scores_gemma":[0.2178525,0.002038721,0.3442685,0.003381412,0.00109198,0.001107704,0.02270235,0.0222403,0.3853165],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.8523193,"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."}}