{"id":"W4285686555","doi":"","title":"Labelled Cyclic Proofs for Separation Logic","year":2018,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Mathematical proof; Computer science; Separation logic; Programming language; Algorithm; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003303915,0.001168101,0.0009042692,0.001683458,0.002016091,0.003594755,0.001843932,0.001770662,0.01668526],"category_scores_gemma":[0.009329093,0.0008834023,0.001531309,0.002381365,0.003698628,0.005395153,0.003433679,0.004874296,0.002902895],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004215254,"about_ca_system_score_gemma":0.003514393,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00210453,"about_ca_topic_score_gemma":0.001875411,"domain_scores_codex":[0.9960319,0.001752249,0.0001755732,0.0006658233,0.001058854,0.0003154224],"domain_scores_gemma":[0.9895114,0.007486524,0.0004679399,0.00124759,0.0009259247,0.0003604724],"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.0001528672,0.00005264476,0.0001051741,0.0004078395,0.00002279437,0.00009948065,0.0002568993,0.005194356,0.002348965,0.9522015,0.005761596,0.03339584],"study_design_scores_gemma":[0.00003762704,0.00002046467,0.00003545087,0.00005364779,0.00001813965,0.00003311805,0.00001706064,0.009113816,0.001837639,0.9754419,0.01337188,0.00001924541],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0194605,0.002163554,0.9331667,0.002845843,0.0006424398,0.0002196547,0.000536817,0.003053927,0.03791055],"genre_scores_gemma":[0.6377822,0.003011948,0.313386,0.002318636,0.001310522,0.0006123271,0.001845309,0.001784032,0.03794903],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01668526,"threshold_uncertainty_score":0.05581772,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03583974648464041,"score_gpt":0.3054593856366677,"score_spread":0.2696196391520274,"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."}}