{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002497311,0.001158642,0.0006402926,0.0008670982,0.0009375008,0.002741359,0.002242209,0.00103709,0.04081453],"category_scores_gemma":[0.01466917,0.0007985283,0.001287714,0.0008779922,0.001245471,0.005674736,0.003591218,0.002303816,0.01009765],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004929002,"about_ca_system_score_gemma":0.001656952,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009045368,"about_ca_topic_score_gemma":0.001779437,"domain_scores_codex":[0.9970292,0.0009352061,0.0002452005,0.0006856609,0.0009122901,0.0001923478],"domain_scores_gemma":[0.992863,0.003789045,0.0002982686,0.002021153,0.0008365253,0.0001919566],"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.0002870662,0.000234502,0.00141555,0.001288104,0.00009460193,0.0005352995,0.001416738,0.008498522,0.02015638,0.2310065,0.06691308,0.6681537],"study_design_scores_gemma":[0.000108288,0.0001676741,0.0007105792,0.0004216532,0.00008123614,0.00128245,0.0004045684,0.05564069,0.02551927,0.1834047,0.7321821,0.00007667532],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006089012,0.0004065009,0.9353393,0.001164138,0.0002068541,0.0003308178,0.0006030229,0.01313688,0.04272348],"genre_scores_gemma":[0.06440716,0.0007435026,0.9060231,0.000710994,0.00008328006,0.0004505436,0.001606287,0.003607291,0.02236786],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.04081453,"threshold_uncertainty_score":0.1365381,"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."}}