{"id":"W2755624925","doi":"10.6084/m9.figshare.5904904","title":"Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts","year":2018,"lang":"en","type":"dataset","venue":"University of Minnesota Digital Conservancy (University of Minnesota)","topic":"Process Optimization and Integration","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Business","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.0001960546,0.0005447332,0.001391937,0.0005932318,0.00015943,0.00003937579,0.001213325,0.0007039873,0.0003872596],"category_scores_gemma":[0.0002955153,0.0007559903,0.0004138525,0.0004946108,0.0007201356,0.00154586,0.0002209475,0.0003489075,0.0000743761],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002054791,"about_ca_system_score_gemma":0.0002464118,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003113878,"about_ca_topic_score_gemma":0.001087134,"domain_scores_codex":[0.9978666,0.0001203443,0.0005118611,0.0005595422,0.0005822455,0.0003594158],"domain_scores_gemma":[0.9962433,0.0006612104,0.0009795374,0.0008261402,0.00113026,0.0001595601],"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.0003397334,0.0002513465,0.0001603516,0.0007671143,0.0006284739,0.00008326692,0.0004149451,0.0005389515,0.0002108618,0.00004119918,0.996312,0.0002517329],"study_design_scores_gemma":[0.001911439,0.000257385,0.0004188692,0.001836201,0.001107336,0.00001873425,0.006153853,0.006840417,0.001345269,0.00005388478,0.9789904,0.001066236],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"dataset","genre_gemma":"dataset","genre_scores_codex":[0.05038046,0.0003435382,0.001659203,0.00007970111,0.0004812405,0.0004626471,0.9434198,0.0001127998,0.003060597],"genre_scores_gemma":[0.1914755,0.005903024,0.001702708,0.00002010022,0.0001471549,6.168773e-7,0.799301,0.0001064119,0.001343447],"genre_candidate":"dataset","genre_consensus":"dataset","teacher_disagreement_score":0.1441188,"threshold_uncertainty_score":0.9994891,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0179802137288695,"score_gpt":0.1885418882805004,"score_spread":0.1705616745516308,"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."}}