{"id":"W4412219960","doi":"","title":"Designing for Semi-Formal Programming with Foundation Models","year":2024,"lang":"en","type":"article","venue":"Scopus (Elsevier)","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Foundation (evidence); Programming language; Computer science; Formal methods; Software engineering; Geography; Archaeology","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.005416091,0.0006817323,0.0005301006,0.0007119366,0.0009280784,0.003013906,0.001543327,0.001107698,0.004155042],"category_scores_gemma":[0.01650807,0.001070924,0.002036135,0.0005609686,0.001815423,0.004180104,0.002613692,0.002594684,0.0009650729],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009400084,"about_ca_system_score_gemma":0.002857351,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001163071,"about_ca_topic_score_gemma":0.002079769,"domain_scores_codex":[0.9961802,0.001652068,0.000380843,0.0003779546,0.001129134,0.0002799046],"domain_scores_gemma":[0.9897282,0.006260826,0.0004850269,0.002348652,0.0009713697,0.0002059401],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001576454,0.0002038997,0.002373681,0.0008249753,0.000154127,0.00039071,0.001674466,0.07459307,0.01601904,0.7057872,0.002795462,0.1950257],"study_design_scores_gemma":[0.0001014475,0.0002096834,0.0003023943,0.0004573142,0.0001503706,0.0003930539,0.0004142426,0.4083318,0.02838524,0.5269891,0.03421231,0.00005299691],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004969683,0.00002160538,0.9931039,0.0001084308,0.00001293513,0.00004973539,0.00002092027,0.0006657538,0.001046958],"genre_scores_gemma":[0.1327781,0.0001076898,0.8639386,0.00008781229,0.00001633595,0.0002140474,0.0001885648,0.0006018791,0.002066983],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005416091,"threshold_uncertainty_score":0.02864337,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02032616546354104,"score_gpt":0.2605215775936952,"score_spread":0.2401954121301541,"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."}}