{"id":"W2231494278","doi":"10.1145/2835490","title":"Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction","year":2016,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Air Force Office of Scientific Research; Seventh Framework Programme; York University; National Science Foundation","keywords":"Separation logic; Conjunction (astronomy); Computer science; Assertion; Fragment (logic); Counterexample; Programming language; Mathematics; Discrete mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002273836,0.0001781793,0.0002314155,0.0001279774,0.0002558734,0.00008088573,0.000304998,0.00006213818,0.00003015648],"category_scores_gemma":[0.00003405722,0.0001126898,0.00004840791,0.0002591829,0.0001299969,0.0004606891,0.00001681936,0.00008193548,0.00004256702],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004150381,"about_ca_system_score_gemma":0.00007566029,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004084677,"about_ca_topic_score_gemma":0.00001311689,"domain_scores_codex":[0.9986108,0.000138885,0.0003196988,0.0004211504,0.0003207153,0.0001887619],"domain_scores_gemma":[0.998336,0.0006561251,0.0002341373,0.0003175132,0.0003906743,0.00006553104],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001812166,0.0003665811,0.0006394534,0.00008320419,0.0001641037,0.00001093839,0.0005466154,0.1420973,0.005634749,0.7998697,0.0001165424,0.05028962],"study_design_scores_gemma":[0.005461965,0.002985551,0.004708462,0.00013892,0.00008962203,0.0003281032,0.000157141,0.1457951,0.004481826,0.8330823,0.001825144,0.0009458442],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003986229,0.00003812518,0.9937503,0.0003855874,0.0002483866,0.0002752616,0.000007574517,0.0001260493,0.001182521],"genre_scores_gemma":[0.9185826,0.000006064703,0.08101959,0.0001544284,0.00004081817,0.00004825038,0.000009317154,0.000007729732,0.0001312736],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9145963,"threshold_uncertainty_score":0.4595356,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03283917579971757,"score_gpt":0.2840790779650231,"score_spread":0.2512399021653055,"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."}}