{"id":"W2155780123","doi":"10.1145/2371401.2371407","title":"Synthesizing iterators from abstraction functions","year":2012,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Programming language; Transitive closure; Tuple; Tree traversal; Reachability; 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.00014874,0.00006308441,0.00005219326,0.00003770413,0.00009924883,0.00009210641,0.0001756887,0.00003599924,0.00004636847],"category_scores_gemma":[0.0001015565,0.00004748041,0.00002740842,0.0001337687,0.00000622336,0.0006465935,0.00005469379,0.00006928026,0.0001797007],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002334163,"about_ca_system_score_gemma":0.000007240842,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002144847,"about_ca_topic_score_gemma":0.000002558263,"domain_scores_codex":[0.9995065,0.00001920205,0.00008958112,0.0001257885,0.00009647603,0.0001624362],"domain_scores_gemma":[0.999272,0.0003670072,0.00003256752,0.0002369031,0.00002299813,0.00006847929],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.00000300261,0.0002365254,0.2104508,0.000005440564,0.00003321331,0.000004078043,0.0009071779,0.000008428495,0.005790096,0.007012188,0.09669515,0.6788539],"study_design_scores_gemma":[0.0003324946,0.0001466679,0.6557132,0.0002086126,0.00005822921,0.0001350892,0.00008660596,0.04283917,0.09045447,0.06754839,0.1407368,0.001740247],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.056423,0.00008200118,0.924082,0.0001682612,0.0005075541,0.00003597526,0.000001179441,0.01384635,0.004853699],"genre_scores_gemma":[0.8004256,8.15787e-7,0.1991722,0.0001717776,0.0001325651,0.000007366116,0.00000182512,0.000002350138,0.00008556189],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7440026,"threshold_uncertainty_score":0.2309748,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02281374206936714,"score_gpt":0.2455314012646121,"score_spread":0.2227176591952449,"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."}}