{"id":"W2765755209","doi":"10.1016/j.ifacol.2017.08.368","title":"A Formally-Verified Safety System for Closed-Loop Anesthesia","year":2017,"lang":"en","type":"article","venue":"IFAC-PapersOnLine","topic":"Anesthesia and Sedative Agents","field":"Medicine","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Closed loop; Loop (graph theory); Computer science; Anesthesia; Medicine; Control engineering; Engineering; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003484433,0.0003144641,0.0006335032,0.00007171666,0.0006860879,0.00007358218,0.000372914,0.0002065953,0.00009962305],"category_scores_gemma":[0.0001735867,0.0002488166,0.0002984764,0.00005478155,0.0001409642,0.000242331,0.00004063392,0.0001817714,0.0001568631],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001217698,"about_ca_system_score_gemma":0.0001388755,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006132886,"about_ca_topic_score_gemma":0.00001779025,"domain_scores_codex":[0.9982858,0.00003668168,0.0004097887,0.0004345907,0.0003310898,0.0005020238],"domain_scores_gemma":[0.9982299,0.00008668011,0.0002949363,0.0009250746,0.0001958554,0.0002675304],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.0490315,0.005315613,0.2829584,0.01259873,0.004370496,0.01406938,0.0106111,0.0000643059,0.1989218,0.05000702,0.003058578,0.3689931],"study_design_scores_gemma":[0.03732839,0.004302453,0.6489288,0.002201825,0.001918828,0.004897397,0.005910466,0.01757865,0.02095669,0.0000950937,0.2535428,0.002338628],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9777353,0.0001828177,0.001999586,0.01037352,0.0002034501,0.001759453,0.00005257946,0.0002455705,0.007447736],"genre_scores_gemma":[0.8642771,0.00007595167,0.1112605,0.002458754,0.0009707061,0.0001298853,0.0003667768,0.0001107159,0.02034953],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3666545,"threshold_uncertainty_score":0.9999964,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03432801753742951,"score_gpt":0.3061040017778057,"score_spread":0.2717759842403762,"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."}}