{"id":"W7115887828","doi":"10.5287/ora-pzpyzzjrv","title":"Promise constraint satisfaction problems","year":2022,"lang":"en","type":"dissertation","venue":"Oxford University Research Archive (ORA) (University of Oxford)","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Unary operation; Constraint satisfaction problem; Constraint (computer-aided design); Constraint satisfaction; Algebraic number; Cover (algebra); Boolean satisfiability problem; Benchmark (surveying)","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0009044724,0.0003930491,0.0005600168,0.002157462,0.001939059,0.0001167033,0.002177655,0.0002929162,0.002326299],"category_scores_gemma":[0.00008979949,0.0005644082,0.0003822436,0.001811699,0.0005971316,0.001254805,0.0009947236,0.001714081,0.00001996949],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007670517,"about_ca_system_score_gemma":0.001673691,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001595864,"about_ca_topic_score_gemma":0.009300106,"domain_scores_codex":[0.9955002,0.0008202443,0.000291483,0.001102112,0.001504978,0.0007809767],"domain_scores_gemma":[0.9971231,0.0003495409,0.0005187215,0.0009012324,0.0006987738,0.0004086859],"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.002648538,0.0009505981,0.01413188,0.001784736,0.001235775,0.001196738,0.03985789,0.004386568,0.003704873,0.2974684,0.01901789,0.6136161],"study_design_scores_gemma":[0.005799591,0.00178498,0.09922307,0.0005895843,0.0002336126,0.00009247116,0.08992112,0.04227493,0.0001501152,0.01088261,0.746896,0.002151887],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.130953,0.0002122592,0.4081315,0.002554229,0.001754551,0.005694978,0.001396296,0.00103402,0.4482692],"genre_scores_gemma":[0.735576,0.01204012,0.126703,0.00007607195,0.00015984,0.000008582823,0.006368296,0.0001839564,0.1188842],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7278782,"threshold_uncertainty_score":0.9996808,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02374871485499163,"score_gpt":0.2578470424777871,"score_spread":0.2340983276227954,"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."}}