{"id":"W2066882107","doi":"10.4204/eptcs.115.1","title":"On a New Notion of Partial Refinement","year":2013,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Implementation; Computer science; Software implementation; Partial evaluation; Partial function; Software; Programming language; State (computer science); Theoretical computer science; 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.001840328,0.0001567444,0.000185383,0.000312211,0.0001018349,0.0002050458,0.001987043,0.00005796428,0.00004416084],"category_scores_gemma":[0.0003167909,0.0001336551,0.00004178053,0.00166202,0.0006926009,0.001065651,0.0004160312,0.0003050186,0.0000615581],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002656094,"about_ca_system_score_gemma":0.000267334,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001280011,"about_ca_topic_score_gemma":2.232248e-7,"domain_scores_codex":[0.99747,0.00002807651,0.0003983679,0.0006366114,0.0007246582,0.0007422862],"domain_scores_gemma":[0.9990582,0.00007914954,0.0001442636,0.0003542684,0.0002098577,0.0001542948],"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.000008596659,0.00006450167,0.0000309361,0.0000065111,0.000001363596,1.659042e-7,0.0002886936,0.00005481608,0.002946734,0.9387878,0.00006154719,0.05774838],"study_design_scores_gemma":[0.0002223979,0.0006795267,0.00118816,0.00003825749,0.000001199728,0.000005950777,0.000003598494,0.4609739,0.05423871,0.4824612,0.00005482128,0.0001322932],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1185606,0.0000144795,0.8752518,0.0009279436,0.0002376204,0.0003133418,6.731887e-8,0.0000875321,0.004606686],"genre_scores_gemma":[0.7383177,0.000003648605,0.2613866,0.00020717,0.0000496395,0.00002224647,1.071294e-7,0.000004481219,0.000008346317],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6197572,"threshold_uncertainty_score":0.5450295,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009488073523694195,"score_gpt":0.2603639252928968,"score_spread":0.2508758517692026,"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."}}