{"id":"W2129568741","doi":"","title":"A Formal Analysis of the Will-Retire Correctness Statement","year":2002,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Correctness; Statement (logic); Computer science; Programming language; Continuation; Formal methods; Law","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.000164225,0.00005655718,0.0001133783,0.0001099562,0.00008253712,0.00003476222,0.00061446,0.00001905461,0.00007744066],"category_scores_gemma":[0.00001187756,0.00003529741,0.00009733938,0.001240009,0.00002492382,0.0002082334,0.0002196088,0.00003772969,0.000002573621],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000144111,"about_ca_system_score_gemma":0.000007234236,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002333179,"about_ca_topic_score_gemma":0.000007898245,"domain_scores_codex":[0.9993301,0.0000414589,0.0001921182,0.0001281197,0.0001833674,0.0001248385],"domain_scores_gemma":[0.9993757,0.00002901515,0.00009782566,0.0004077402,0.00006686966,0.00002282228],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006002311,0.0004863466,0.02841601,0.00002852616,0.0009572581,0.000003493634,0.006223464,0.593137,0.00009526124,0.1861792,0.06244566,0.1220218],"study_design_scores_gemma":[0.0000508442,0.00001734497,0.00235072,0.000003839695,0.00002708919,5.473797e-7,0.000009172632,0.9958019,0.0008843358,0.0001085473,0.0006927771,0.00005291594],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009741249,0.00002653696,0.9794266,0.0004880528,0.0000800725,0.00006468899,7.552193e-7,0.0001519779,0.01002002],"genre_scores_gemma":[0.9573018,0.0000128137,0.04086144,0.0002227793,0.000004048347,0.000003585488,5.517566e-7,0.000001639899,0.001591338],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9475605,"threshold_uncertainty_score":0.1439387,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01796330728846217,"score_gpt":0.2484201289033791,"score_spread":0.2304568216149169,"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."}}