{"id":"W4383555717","doi":"10.1145/3607185","title":"Programming by Example Made Easy","year":2023,"lang":"en","type":"article","venue":"ACM Transactions on Software Engineering and Methodology","topic":"Software Engineering Research","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada; Fundamental Research Funds for the Central Universities; Natural Science Foundation of Jiangsu Province; National Natural Science Foundation of China; Impact Fund; National Science Foundation","keywords":"Computer science; Usability; Domain (mathematical analysis); Table (database); Exploit; Constraint programming; Domain-specific language; Software engineering; Range (aeronautics); Programming language; Theoretical computer science; Data mining; Human–computer interaction; Mathematical optimization","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.001065576,0.0002188458,0.0002574845,0.0004564534,0.0001484603,0.000079253,0.0006890739,0.0001610781,0.00001160595],"category_scores_gemma":[0.002533249,0.0002301892,0.00007229794,0.001067045,0.00004057239,0.0001875389,0.00005272948,0.0004577565,0.00005610805],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004337884,"about_ca_system_score_gemma":0.00003083848,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000606697,"about_ca_topic_score_gemma":0.000001187596,"domain_scores_codex":[0.9982724,0.0001342592,0.0002020081,0.0005438717,0.0002348747,0.0006125587],"domain_scores_gemma":[0.9925035,0.006446981,0.00002336798,0.0007819927,0.00004278703,0.0002013572],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001679228,0.00007912382,0.0008833778,0.0001944966,0.0001593974,0.00006449783,0.001139469,0.04413152,0.006752011,0.00121554,0.001058991,0.9443048],"study_design_scores_gemma":[0.005013391,0.002486635,0.0528101,0.0004670351,0.0001710188,0.001190717,0.0003452619,0.1396817,0.09230994,0.004353839,0.6961189,0.00505155],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01860442,0.0002198822,0.9769065,0.0002523379,0.0006495657,0.0001595117,0.000007911221,0.003198035,0.000001817184],"genre_scores_gemma":[0.034176,0.0001276182,0.9646584,0.00006256285,0.00004392959,0.00017931,0.000008423795,0.00005063547,0.0006931374],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9392532,"threshold_uncertainty_score":0.9386844,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1071155321304111,"score_gpt":0.3310986989582408,"score_spread":0.2239831668278297,"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."}}