{"id":"W2913482449","doi":"10.1145/3568025","title":"Canonisation and Definability for Graphs of Bounded Rank Width","year":2022,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Bounded function; Mathematics; Rank (graph theory); Treewidth; Discrete mathematics; Combinatorics; Pathwidth; Graph; Mathematical analysis","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.0004832682,0.00009354637,0.000131334,0.0002303905,0.0006168976,0.00002887676,0.0004779501,0.00002290547,0.00003450178],"category_scores_gemma":[0.00005786545,0.00009875107,0.00008532892,0.000524317,0.0001372892,0.000189633,0.00003272498,0.0001511371,0.000001079632],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008229873,"about_ca_system_score_gemma":0.0001455254,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001568311,"about_ca_topic_score_gemma":0.000007420622,"domain_scores_codex":[0.9987595,0.0001655298,0.0002136275,0.0003362736,0.0003612296,0.000163845],"domain_scores_gemma":[0.9981872,0.00118783,0.00007717735,0.0003419681,0.0001566595,0.00004919691],"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.000137755,0.0002361284,0.0001454728,0.0000274137,0.0000290161,9.536757e-7,0.0002632478,0.3162593,0.0001646817,0.6445958,0.0000153926,0.03812485],"study_design_scores_gemma":[0.0005981163,0.0004267583,0.002740944,0.000001945381,0.000006021035,0.00001453458,0.00004203653,0.0462307,0.0002089591,0.9494697,0.000168861,0.00009145399],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03861103,0.00004367337,0.9588314,0.001805165,0.0001132524,0.0004121002,0.000067843,0.00005819547,0.00005729925],"genre_scores_gemma":[0.7943814,0.000003516195,0.2052225,0.0001678649,0.000002927248,0.000177448,0.00001418659,0.000005210064,0.00002497809],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7557703,"threshold_uncertainty_score":0.474474,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04209192692137793,"score_gpt":0.3101518114053621,"score_spread":0.2680598844839842,"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."}}