{"id":"W7045981240","doi":"","title":"Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part I","year":2016,"lang":"en","type":"other","venue":"CERN Document Server (European Organization for Nuclear Research)","topic":"Magnetic confinement fusion research","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Computer-aided; Computer Aided Design; Automation; Work (physics); Computer Applications","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":[],"consensus_categories":[],"category_scores_codex":[0.005688746,0.002173477,0.002050941,0.00197866,0.001279063,0.004475789,0.002542335,0.001434016,0.04010453],"category_scores_gemma":[0.006932244,0.001005888,0.001368756,0.001455814,0.00269577,0.002858102,0.002883072,0.002611076,0.01264458],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003288239,"about_ca_system_score_gemma":0.00844595,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.03525054,"about_ca_topic_score_gemma":0.05316988,"domain_scores_codex":[0.9970361,0.0005519586,0.0002064207,0.0005063197,0.001438409,0.000260815],"domain_scores_gemma":[0.9954134,0.001080114,0.00008435129,0.001181135,0.002020612,0.000220486],"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.0003550944,0.0001802936,0.0008694615,0.0004967821,0.00008958249,0.0001229896,0.0001708885,0.009933312,0.006723969,0.01632118,0.4209203,0.5438161],"study_design_scores_gemma":[0.0001645969,0.0002595001,0.003522833,0.0008422785,0.0001493001,0.0008306988,0.0003295898,0.1469142,0.02844776,0.06107981,0.7573687,0.0000906633],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01198933,0.03696376,0.8516066,0.005245329,0.007455515,0.0004375451,0.003815589,0.02841085,0.05407542],"genre_scores_gemma":[0.1529804,0.0323449,0.5748904,0.001464843,0.001988853,0.0005620174,0.02684314,0.009062771,0.1998627],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.9647495,"threshold_uncertainty_score":0.134163,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01864125844341543,"score_gpt":0.2584984170413609,"score_spread":0.2398571585979455,"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."}}