{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005980078,0.000213305,0.000189095,0.0001852937,0.0001410044,0.0005528166,0.0005411294,0.00007662112,0.000001945348],"category_scores_gemma":[0.000007179993,0.0001828682,0.00007758511,0.0004847597,0.00003019383,0.002194332,0.0001316761,0.0001707327,0.00001405164],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001271008,"about_ca_system_score_gemma":0.0001505521,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002384433,"about_ca_topic_score_gemma":0.000002054792,"domain_scores_codex":[0.9985015,0.00002464639,0.0002452306,0.000483015,0.0002800898,0.0004654901],"domain_scores_gemma":[0.9992296,0.00007607848,0.00005101817,0.0004456588,0.0001075677,0.00009006328],"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.000005141031,0.000009859978,0.000007571311,0.0002142513,0.00002151343,0.00000972605,0.0005123008,0.009470283,0.0002288442,0.04489544,0.0000750134,0.94455],"study_design_scores_gemma":[0.0001314602,0.0002075946,0.000003295315,0.0006556021,0.00001893348,0.00004523159,0.000003112199,0.8720883,0.003143396,0.004065088,0.1193399,0.000298069],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004332018,0.0005651996,0.9949354,0.000139013,0.000296545,0.0008182299,0.000002014039,0.00245533,0.000355091],"genre_scores_gemma":[0.08444333,0.00002175499,0.9144369,0.00004309953,0.00009957953,0.0004713559,0.00001187534,0.00004028783,0.0004318205],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.944252,"threshold_uncertainty_score":0.7457147,"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."}}