{"id":"W7113906228","doi":"10.1007/978-3-031-99804-1_2","title":"A Brief Overview of Foundations and Advances in Programming with AI","year":2025,"lang":"en","type":"book-chapter","venue":"","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Applications of artificial intelligence; Computer programming; Expert system; Automated planning and scheduling","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.0001945585,0.0002301972,0.0004144783,0.000224388,0.00004157362,0.0001099796,0.0004885761,0.00009603133,0.00003296325],"category_scores_gemma":[0.0000202597,0.0001886692,0.00005555432,0.0001821994,0.0001501724,0.0004162625,0.0005139562,0.0002089815,0.000001817364],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005290962,"about_ca_system_score_gemma":0.0002288255,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007975552,"about_ca_topic_score_gemma":0.001153619,"domain_scores_codex":[0.9986138,0.00001931905,0.0003569843,0.0005770408,0.0002579511,0.0001749523],"domain_scores_gemma":[0.9989013,0.0001900383,0.0001453404,0.0005565485,0.0001594715,0.0000472717],"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.000001597648,0.00002037383,0.0001229518,0.0001853704,0.000009094218,0.0000045281,0.00005303793,0.00001450773,9.295532e-8,0.555046,0.00001693558,0.4445255],"study_design_scores_gemma":[0.0006766045,0.000462611,0.0008401786,0.001881553,0.00003563293,0.00003734608,0.00001222942,0.0162694,0.000009174747,0.3089768,0.6701025,0.0006959122],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000008058655,0.007584712,0.6678452,0.0008261095,0.0001244778,0.0008120249,0.000005229909,0.0001439774,0.3226502],"genre_scores_gemma":[0.002429196,0.002719143,0.8524018,0.0008288655,0.00008663491,0.00009268108,0.00001894571,0.00003834823,0.1413844],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6700856,"threshold_uncertainty_score":0.7693707,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02622465412078163,"score_gpt":0.2944704828003149,"score_spread":0.2682458286795333,"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."}}