{"id":"W1988506401","doi":"10.1145/2089116.2089119","title":"Weak Alphabet Merging of Partial Behavior Models","year":2012,"lang":"en","type":"article","venue":"ACM Transactions on Software Engineering and Methodology","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Viewpoints; Alphabet; Property (philosophy); Process (computing); Algebraic properties; Theoretical computer science; Component (thermodynamics); Extension (predicate logic); Programming language; 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":[],"consensus_categories":[],"category_scores_codex":[0.001148717,0.0001328501,0.0002243777,0.0001843425,0.00006783736,0.00001040095,0.0003417429,0.000116862,0.000007747939],"category_scores_gemma":[0.0004115701,0.0001355323,0.00006210263,0.0002243861,0.00003898703,0.0004797938,0.00001940425,0.0002064116,0.00000253524],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002035786,"about_ca_system_score_gemma":0.00001442432,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001357249,"about_ca_topic_score_gemma":2.201751e-7,"domain_scores_codex":[0.9989317,0.0002129405,0.0002386828,0.0002070722,0.0001161773,0.0002934379],"domain_scores_gemma":[0.9984384,0.0008091077,0.00006012158,0.0005456544,0.00003788191,0.000108905],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00003586503,0.0002847261,0.0007311983,0.0001257985,0.0001086548,0.00000182946,0.003585714,0.118714,0.01370373,0.08436956,0.00001271218,0.7783262],"study_design_scores_gemma":[0.001742008,0.0008232601,0.01957758,0.0001525933,0.0004247165,0.0004631761,0.0002984176,0.4095024,0.5531728,0.004545156,0.007690719,0.001607121],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02476045,0.0002680098,0.9735612,0.0000308542,0.001037575,0.00009743513,0.000004413595,0.0002294428,0.00001060407],"genre_scores_gemma":[0.2279881,0.00004256335,0.7718361,0.00001835361,0.00003016245,0.00005417554,6.986601e-7,0.00001135575,0.00001849469],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7767191,"threshold_uncertainty_score":0.5526848,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1324992871004662,"score_gpt":0.3405071310571707,"score_spread":0.2080078439567045,"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."}}