{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001649717,0.0003790215,0.0003600242,0.0002624275,0.000291048,0.0001716032,0.00155847,0.0002709749,0.000004225881],"category_scores_gemma":[0.00002360765,0.0004203418,0.000132243,0.0000329223,0.0005114924,0.0002803112,0.0007884709,0.0005060968,0.0001936961],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001882435,"about_ca_system_score_gemma":0.0002569601,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001462679,"about_ca_topic_score_gemma":0.00001039691,"domain_scores_codex":[0.9980989,0.00003587854,0.000186779,0.0008061087,0.0004170074,0.0004553656],"domain_scores_gemma":[0.9981102,0.0001751692,0.0002261836,0.001005705,0.0002588566,0.000223844],"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.00001972032,0.000004133648,0.000001301645,0.00002802584,0.00008363017,0.00195999,0.0001052493,0.00002014535,0.00001691078,0.985989,0.006893084,0.004878825],"study_design_scores_gemma":[0.0003068753,0.0001678618,0.00001194146,0.0007127866,0.0001098456,0.0001145424,0.0001531451,0.002255589,0.002274932,0.0002080629,0.9925534,0.001131079],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00002576739,0.00001924214,0.07236554,0.00003327875,0.0003108555,0.0002827029,0.00004135171,0.0006640331,0.9262573],"genre_scores_gemma":[0.0009695294,0.00003334973,0.002491266,0.00005587464,0.00007513306,9.257609e-7,0.00001114306,0.00005122733,0.9963115],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.9857809,"threshold_uncertainty_score":0.9998248,"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."}}