{"id":"W4385791642","doi":"10.1017/9781009258227.007","title":"Reasoning with Constraints","year":2023,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"Explainable Artificial Intelligence (XAI)","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Generative grammar; Implementation; Code (set theory); Artificial intelligence; Data science; Software engineering; Programming language","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.001915359,0.001620709,0.001029927,0.001378935,0.00208138,0.007721025,0.003308154,0.002453362,0.08126933],"category_scores_gemma":[0.008713423,0.001294567,0.002407459,0.00161408,0.003370461,0.01189714,0.004780571,0.004940629,0.02718398],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002641093,"about_ca_system_score_gemma":0.002947715,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006117331,"about_ca_topic_score_gemma":0.007750701,"domain_scores_codex":[0.9970118,0.0006627283,0.0002795079,0.0008113702,0.001032792,0.000201766],"domain_scores_gemma":[0.9975547,0.001161993,0.0001123958,0.0004843152,0.0006009994,0.00008562933],"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.00003334225,0.00003691298,0.0001849194,0.000480184,0.00003900562,0.0002925963,0.0008183862,0.003224529,0.0006323262,0.6834852,0.1919544,0.1188182],"study_design_scores_gemma":[0.00001303789,0.000008304237,0.00009158593,0.0002855894,0.00001685613,0.0002348655,0.0002994288,0.004403741,0.0006836106,0.3236245,0.6703134,0.0000251285],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.002688212,0.007815883,0.4234209,0.01765487,0.003091075,0.0003723341,0.005958311,0.003544236,0.5354542],"genre_scores_gemma":[0.06803582,0.01068125,0.4142215,0.005971428,0.001641341,0.0007491111,0.01488049,0.002422705,0.4813964],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.08126933,"threshold_uncertainty_score":0.271873,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03438906642583132,"score_gpt":0.2105272686325619,"score_spread":0.1761382022067306,"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."}}