{"id":"W4406771488","doi":"10.1051/itmconf/20257004025","title":"Exploring A Better Way to Constraint Propagation Using Naked Pair","year":2025,"lang":"en","type":"article","venue":"ITM Web of Conferences","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University","funders":"","keywords":"Constraint (computer-aided design); Computer science; Mathematics; Geometry","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.0001810292,0.00009401084,0.0001439287,0.0002513756,0.00007467408,0.0001047457,0.000240233,0.0000318757,0.00006695765],"category_scores_gemma":[0.00006376854,0.0000869573,0.00003850752,0.0004208495,0.00006909281,0.0004321901,0.00007348946,0.00006258907,0.00000662929],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002695063,"about_ca_system_score_gemma":0.0005401206,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004907607,"about_ca_topic_score_gemma":0.00004027707,"domain_scores_codex":[0.9991567,0.00005054487,0.0002629244,0.0002240969,0.0001705444,0.0001351563],"domain_scores_gemma":[0.9994231,0.00007035946,0.00008573379,0.0001900283,0.0001844076,0.0000463951],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001037204,0.00003480713,0.01830954,0.00004336311,0.00003770207,0.000002624922,0.0008323602,0.001640748,0.01572795,0.2923969,0.000119711,0.670844],"study_design_scores_gemma":[0.001268282,0.0002109208,0.1033669,0.0008798434,0.00004422924,0.00001367003,0.001387165,0.7452704,0.1286053,0.00673335,0.01148916,0.0007307243],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2996223,0.000007344798,0.6901013,0.0025744,0.0003739001,0.0001839281,0.000001608685,0.00008213941,0.007053128],"genre_scores_gemma":[0.9656604,0.000005311094,0.03397816,0.0002709251,0.00001746617,0.00001871189,0.000001221379,0.000002095717,0.00004571748],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7436296,"threshold_uncertainty_score":0.3546016,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09120704492266128,"score_gpt":0.2803477713926144,"score_spread":0.1891407264699531,"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."}}