{"id":"W2243433439","doi":"10.1145/2480361.2371407","title":"Synthesizing iterators from abstraction functions","year":2012,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Advanced Control Systems Optimization","field":"Engineering","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Programming language; Computer science; Abstraction","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.002296805,0.0009291387,0.0006810033,0.0007966715,0.0005155418,0.001825805,0.001586346,0.0008036554,0.003881153],"category_scores_gemma":[0.006139605,0.0008998969,0.001544402,0.0005658349,0.001291072,0.002021739,0.002085368,0.001473281,0.001238907],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007926901,"about_ca_system_score_gemma":0.001292879,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001314713,"about_ca_topic_score_gemma":0.001371545,"domain_scores_codex":[0.9981191,0.0003254079,0.0002207272,0.0003107428,0.0008278671,0.0001961575],"domain_scores_gemma":[0.9966518,0.001451927,0.0002729746,0.001068666,0.0004775554,0.0000770542],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001001376,0.0003169352,0.006747413,0.001603457,0.0002627761,0.001984758,0.003345482,0.1743329,0.2814419,0.1427249,0.009692021,0.3765461],"study_design_scores_gemma":[0.000184023,0.0004534874,0.001118918,0.0001323351,0.0001929303,0.0009990763,0.000403559,0.4450767,0.4331226,0.03156848,0.08658399,0.000163948],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02561877,0.0000646058,0.9632061,0.00003847559,0.00003996932,0.0001207781,0.0001611049,0.008565586,0.002184563],"genre_scores_gemma":[0.2342709,0.0001670405,0.7520338,0.00009482836,0.00001669348,0.000330178,0.000974841,0.006673622,0.005438122],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003881153,"threshold_uncertainty_score":0.01298374,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01207978949325069,"score_gpt":0.2101174085908758,"score_spread":0.1980376190976251,"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."}}