{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002212217,0.0003340476,0.0007912529,0.0007566967,0.001982901,0.004981719,0.001407066,0.002068157,0.006044562],"category_scores_gemma":[0.01285637,0.0004377229,0.001282588,0.001395267,0.005891019,0.01376893,0.003057485,0.006332584,0.0006934264],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002066415,"about_ca_system_score_gemma":0.001086213,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001046235,"about_ca_topic_score_gemma":0.0008682201,"domain_scores_codex":[0.997291,0.0007827441,0.0001175114,0.0009250375,0.0005405637,0.0003431509],"domain_scores_gemma":[0.9853944,0.01142166,0.0007335657,0.001325876,0.0005343848,0.0005901222],"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.00008919115,0.00007264957,0.001534767,0.0001112944,0.00001728724,0.0001601954,0.0004160412,0.005544064,0.001157925,0.9804529,0.002143978,0.008299615],"study_design_scores_gemma":[0.00001679312,0.00001664471,0.0004609633,0.00001900603,0.000008605779,0.0001119345,0.0001737534,0.009312911,0.0006905077,0.9868031,0.002375569,0.00001016836],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5386561,0.002042779,0.3451313,0.03277881,0.0003813139,0.00009328297,0.001166952,0.0005280508,0.07922154],"genre_scores_gemma":[0.9719909,0.0004704453,0.02070126,0.0009536212,0.0002990583,0.00007491933,0.0006401474,0.00008278021,0.004786786],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006044562,"threshold_uncertainty_score":0.02022111,"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."}}