{"id":"W4413423565","doi":"10.1016/b978-0-443-30046-2.00002-8","title":"Employing a large language model to solve constraint satisfaction","year":2025,"lang":"en","type":"book-chapter","venue":"Elsevier eBooks","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"","keywords":"Computer science; Constraint (computer-aided design); Constraint satisfaction problem; Constraint satisfaction; Psychology; Artificial intelligence; Mathematics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002518992,0.0004164235,0.0004248524,0.0004459025,0.0002129982,0.0002156708,0.0004075348,0.0003038483,0.000179075],"category_scores_gemma":[0.00003425045,0.0004509561,0.0002208391,0.00004732189,0.00005043902,0.0001528956,0.000342897,0.0004587637,0.0001759598],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002186021,"about_ca_system_score_gemma":0.0004080703,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002050403,"about_ca_topic_score_gemma":0.0001952521,"domain_scores_codex":[0.9980215,0.00001883807,0.0004838772,0.0007211282,0.0003836778,0.0003709652],"domain_scores_gemma":[0.9986069,0.00006365538,0.0002005603,0.0007817894,0.0001513322,0.000195792],"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.000002394427,0.000003056649,0.000008629656,0.00002780023,0.0000400977,0.00001433255,0.000777825,0.0002786047,0.00003724551,0.1780529,0.00029388,0.8204633],"study_design_scores_gemma":[0.002016039,0.0001445598,0.0003127102,0.002370192,0.0002803601,0.0001364148,0.0001845953,0.2009413,0.0002692892,0.045703,0.7441989,0.003442688],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00001037707,0.00006403989,0.3931191,0.0001903046,0.0003614421,0.0004560765,0.00005167687,0.0002689342,0.605478],"genre_scores_gemma":[0.003479342,0.000026833,0.08996642,0.002289508,0.0001024757,0.00005105596,0.00002391885,0.00004343623,0.904017],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.8170206,"threshold_uncertainty_score":0.9997942,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01494349160787301,"score_gpt":0.2574384219844211,"score_spread":0.2424949303765481,"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."}}