{"id":"W1990781920","doi":"10.1007/s00165-013-0286-3","title":"Refinement patterns for ASTDs","year":2013,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"Natural Sciences and Engineering Research Council of Canada; Agence Nationale de la Recherche","keywords":"Computer science; Refinement calculus; Divergence (linguistics); Simple (philosophy); Theoretical computer science; Algorithm","routes":{"ca_aff":true,"ca_fund":true,"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.0005498059,0.0001174661,0.0001698723,0.0000963797,0.0001235304,0.00008209838,0.0007536439,0.00004151254,0.00001949395],"category_scores_gemma":[0.00008113686,0.0001082871,0.00008005896,0.0001772162,0.00002101677,0.0008522742,0.0003329759,0.00008133139,0.00002788787],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003479772,"about_ca_system_score_gemma":0.00003019748,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004160653,"about_ca_topic_score_gemma":0.000001467234,"domain_scores_codex":[0.998751,0.00003122677,0.0003986674,0.0002216464,0.0002278447,0.0003695641],"domain_scores_gemma":[0.9989575,0.00009814779,0.000254986,0.0004225094,0.0002052861,0.00006160552],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000371797,0.00005734384,0.0004289392,0.0001127443,0.00001646733,3.769451e-7,0.0006099318,0.0005583859,0.001371215,0.7110373,0.0002400951,0.2855634],"study_design_scores_gemma":[0.0005494562,0.000528674,0.03889579,0.00008715042,0.000005843865,0.00001101656,0.00009283215,0.8934711,0.04885912,0.01613491,0.00109845,0.0002656692],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1301288,0.00001364884,0.8635404,0.00014447,0.0003985462,0.0003559942,0.000001527078,0.000110273,0.005306362],"genre_scores_gemma":[0.5455174,5.705534e-7,0.4543161,0.00006435625,0.0000652367,0.00001211831,0.000001892106,0.000004993678,0.00001724827],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8929127,"threshold_uncertainty_score":0.4415819,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0216745873475067,"score_gpt":0.2812715598116536,"score_spread":0.2595969724641469,"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."}}