{"id":"W4380082719","doi":"10.32920/23459144.v1","title":"Expressibility Of Constraint Satisfaction Problems In Extensions Of First-Order Logic","year":2023,"lang":"en","type":"preprint","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University","funders":"","keywords":"Constraint satisfaction problem; Mathematics; Idempotence; Class (philosophy); Descriptive complexity theory; Order (exchange); Discrete mathematics; Constraint satisfaction; Time complexity; Polynomial; Constraint (computer-aided design); Algebra over a field; Pure mathematics; Computer science; Artificial intelligence","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.0007563179,0.0002293057,0.0005527006,0.0002225974,0.00004148798,0.00003252001,0.0006857559,0.0003050253,0.000088546],"category_scores_gemma":[0.000452661,0.0001826606,0.0001526286,0.0004113545,0.0001961467,0.0001114452,0.001617734,0.0004082926,0.00001765524],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000706426,"about_ca_system_score_gemma":0.0002486257,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00237471,"about_ca_topic_score_gemma":0.004310548,"domain_scores_codex":[0.9978494,0.0001348364,0.0007337462,0.0007451184,0.0002799509,0.0002569392],"domain_scores_gemma":[0.9976939,0.0003183112,0.0004153124,0.001118728,0.0003867978,0.0000669763],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.00002568538,0.001449663,0.6653745,0.004202351,0.0001848089,0.00003996671,0.01279547,0.04133075,0.004479835,0.240231,0.002575358,0.0273107],"study_design_scores_gemma":[0.000666693,0.0001506263,0.5937278,0.001056124,0.00002101675,0.000009032944,0.0002752901,0.1111279,0.00188855,0.2904431,0.00007315979,0.0005607157],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.15233,0.0003353575,0.82817,0.0004540447,0.001540236,0.001373434,0.00002711375,0.000393299,0.01537654],"genre_scores_gemma":[0.9682497,0.0001034583,0.03125191,0.0000142594,0.00001967049,0.0000603485,0.000006373647,0.000009172473,0.0002851097],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8159197,"threshold_uncertainty_score":0.7448685,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06515020277542678,"score_gpt":0.2905297792477522,"score_spread":0.2253795764723254,"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."}}