{"id":"W2523195045","doi":"10.1007/978-3-319-46520-3_19","title":"Observational Refinement and Merge for Disjunctive MTSs","year":2016,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto; University of Waterloo","funders":"","keywords":"Merge (version control); Alphabet; Computer science; Formalism (music); Theoretical computer science; Algorithm; Programming language; Information retrieval; Linguistics","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.001258774,0.0003477357,0.0003298883,0.000378966,0.0002418394,0.0002229208,0.001645909,0.0001974958,0.00001121012],"category_scores_gemma":[0.000251482,0.0002727254,0.00007582878,0.0002492701,0.0005223518,0.0007084071,0.0008121381,0.0002485321,0.00001015909],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002658508,"about_ca_system_score_gemma":0.000296476,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003695609,"about_ca_topic_score_gemma":0.000009758228,"domain_scores_codex":[0.9972497,0.00002890876,0.0004237546,0.001218739,0.0006515707,0.0004273668],"domain_scores_gemma":[0.9977785,0.0006011483,0.0002820007,0.0008919474,0.0003337371,0.0001126578],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000007528079,0.000008951534,0.00003858796,0.00002471159,0.000006898988,0.000001706533,0.0001885054,0.0003343659,0.0001433935,0.4780492,0.00002664582,0.5211695],"study_design_scores_gemma":[0.0004491331,0.0002794461,0.001406874,0.000311442,0.000009406685,0.00001854579,1.118767e-7,0.3162661,0.001629298,0.6642161,0.01476216,0.0006513655],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00003336389,0.0002058489,0.9936875,0.001656628,0.001735603,0.0005447578,0.00001768504,0.00007973037,0.002038911],"genre_scores_gemma":[0.003394799,0.00003584521,0.9943298,0.001089104,0.0003621399,0.00005103282,0.000005271656,0.00002050214,0.0007114707],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5205181,"threshold_uncertainty_score":0.9999725,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05876600179384918,"score_gpt":0.3025982328056963,"score_spread":0.2438322310118471,"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."}}