{"id":"W3100051117","doi":"","title":"Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)","year":2022,"lang":"en","type":"preprint","venue":"tub.dok (Hamburg University of Technology)","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Conjecture; Mathematics; Constraint satisfaction problem; Bounded function; Combinatorics; Complexity of constraint satisfaction; Discrete mathematics; Algebraic number; Local consistency","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.0007417341,0.0003893591,0.0008016867,0.002153788,0.0002945568,0.00002486922,0.002559715,0.0008996475,0.0003877255],"category_scores_gemma":[0.00009534097,0.0004862464,0.0002851648,0.001117478,0.001260273,0.0002004727,0.004008254,0.002224815,0.00001036681],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008030887,"about_ca_system_score_gemma":0.0007567377,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001459761,"about_ca_topic_score_gemma":0.00179775,"domain_scores_codex":[0.9971064,0.0001799844,0.0004250248,0.001229208,0.0003774526,0.0006819153],"domain_scores_gemma":[0.9973628,0.0002466152,0.000514739,0.001571578,0.0002075815,0.00009667467],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0006544558,0.000548845,0.05010051,0.001245218,0.0007267289,0.001093648,0.01071392,0.004964027,0.004776525,0.8641371,0.003581293,0.0574578],"study_design_scores_gemma":[0.002464468,0.0006883222,0.002812395,0.0002261742,0.00004274461,0.0001077614,0.001982409,0.001749266,0.0007745803,0.8998625,0.08851857,0.0007707743],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5351407,0.0004650907,0.4417647,0.01504879,0.0006086847,0.00414217,0.0003417929,0.0009043745,0.001583646],"genre_scores_gemma":[0.820531,0.0003949328,0.1770581,0.0001647343,0.00002769229,0.00008546812,0.00006584464,0.00004832622,0.001623962],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2853903,"threshold_uncertainty_score":0.9997589,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01605523254898903,"score_gpt":0.2580699319846549,"score_spread":0.2420146994356659,"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."}}