{"id":"W7124519854","doi":"","title":"Designing for Semi-Formal Programming with Foundation Models","year":2024,"lang":"en","type":"article","venue":"","topic":"Spreadsheets and End-User Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Sketch; Foundation (evidence); Programming paradigm; Bridging (networking); Workflow; Representation (politics); Program comprehension; Inductive programming","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.000294206,0.00009517187,0.00007446756,0.00007477502,0.0001608362,0.0008357537,0.0002602251,0.00002560891,0.000003920555],"category_scores_gemma":[0.000004422203,0.00006819746,0.00003574878,0.0002541468,0.00001075938,0.001705269,0.00009369538,0.00006012543,0.00001054522],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003088632,"about_ca_system_score_gemma":0.00006635055,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002261877,"about_ca_topic_score_gemma":0.000006365585,"domain_scores_codex":[0.9991337,0.000008039058,0.000123175,0.000287971,0.0001410469,0.0003060559],"domain_scores_gemma":[0.9996268,0.00008763039,0.0000199836,0.0001695366,0.00004949578,0.00004651261],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004719351,0.0000113062,0.0000329566,0.00005996594,0.00002308281,0.000005975076,0.001233096,0.01909899,0.0002021833,0.2699184,0.0002147779,0.7091945],"study_design_scores_gemma":[0.0001120144,0.0001004279,0.000009741696,0.00007271189,0.000005937819,0.00002109941,0.00005172323,0.9890526,0.001248121,0.003967976,0.005232283,0.0001253588],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002328926,0.00005961962,0.9928342,0.0002353437,0.0002375723,0.0002282359,1.254558e-7,0.0007004862,0.003375525],"genre_scores_gemma":[0.4882788,7.018994e-7,0.5113553,0.00005440415,0.00007277868,0.00002735997,0.000001839555,0.000008218461,0.0002006633],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9699536,"threshold_uncertainty_score":0.8059192,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03662580545605551,"score_gpt":0.2640168649096387,"score_spread":0.2273910594535831,"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."}}