{"id":"W3040249201","doi":"10.1007/s00037-024-00250-7","title":"KRW Composition Theorems via Lifting","year":2024,"lang":"en","type":"article","venue":"Computational Complexity","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"Simons Institute for the Theory of Computing, University of California Berkeley; National Science Foundation; Vetenskapsrådet; Natural Sciences and Engineering Research Council of Canada; European Commission; McGill University; Lunds Universitet","keywords":"Composition (language); Mathematics; Discrete mathematics; Combinatorics; Computer science; Linguistics; Philosophy","routes":{"ca_aff":true,"ca_fund":true,"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.0004683886,0.0002330553,0.000215981,0.0002630414,0.0004830363,0.0006897009,0.0009024198,0.00006138746,0.0001322311],"category_scores_gemma":[0.00001635764,0.0002334781,0.0001858297,0.00092228,0.0002655113,0.0007119064,0.0004177484,0.000331109,0.0003689136],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008990394,"about_ca_system_score_gemma":0.0001022407,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002644363,"about_ca_topic_score_gemma":0.000003749412,"domain_scores_codex":[0.9979391,0.00014973,0.0003759095,0.0006345898,0.0005516778,0.0003490634],"domain_scores_gemma":[0.9987454,0.0005099815,0.00006456826,0.0003784286,0.0001653293,0.0001362452],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003992794,0.00006629863,0.00004825594,0.00004290465,0.00003758799,0.0000361538,0.0003359907,0.006322994,0.0001482928,0.9525148,0.0009940091,0.03944869],"study_design_scores_gemma":[0.00008372384,0.00002817232,0.002338795,0.0000399281,0.000003868499,0.00008819436,0.000003603388,0.5116644,0.00006164816,0.4840134,0.00151543,0.0001587678],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009959347,0.0004882514,0.9793483,0.002201692,0.00123425,0.0001763438,0.00002194442,0.001164105,0.005405755],"genre_scores_gemma":[0.798473,0.000002291184,0.2006383,0.0004726136,0.0002629292,0.00001151735,0.0000855162,0.00001470268,0.00003913871],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7885137,"threshold_uncertainty_score":0.952096,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03902938089658899,"score_gpt":0.2868357387671615,"score_spread":0.2478063578705725,"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."}}