{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009333263,0.001463957,0.001218608,0.003144006,0.002082152,0.004110585,0.002875541,0.002052568,0.005206495],"category_scores_gemma":[0.01524891,0.001336004,0.003251666,0.002949703,0.01086012,0.01345784,0.006635644,0.006259587,0.001619664],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001801988,"about_ca_system_score_gemma":0.002214534,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002118433,"about_ca_topic_score_gemma":0.001894617,"domain_scores_codex":[0.9899189,0.002677875,0.001010767,0.002289558,0.003433835,0.0006690487],"domain_scores_gemma":[0.9856762,0.004628712,0.0009252776,0.005930161,0.002250063,0.000589536],"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.00003604131,0.00001851672,0.0002059064,0.00007466602,0.00001991801,0.00009844773,0.0006036915,0.00383776,0.001923198,0.978865,0.0007047091,0.01361202],"study_design_scores_gemma":[0.00005451022,0.0001406053,0.0002464378,0.0001274781,0.00007463023,0.0003863185,0.0001867647,0.02631358,0.003799829,0.9049037,0.06370049,0.00006575689],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005555837,0.0005653901,0.9806772,0.0006308104,0.0001416791,0.0001215256,0.00008656739,0.000394139,0.01182688],"genre_scores_gemma":[0.1628029,0.001739307,0.8172302,0.00109224,0.000593746,0.0008691142,0.0004570331,0.0007348977,0.01448056],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009333263,"threshold_uncertainty_score":0.04935962,"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."}}