{"id":"W3046523482","doi":"10.1109/focs46700.2020.00013","title":"KRW Composition Theorems via Lifting","year":2020,"lang":"en","type":"article","venue":"","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"H2020 European Research Council; Natural Sciences and Engineering Research Council of Canada; Knut och Alice Wallenbergs Stiftelse; National Science Foundation; Vetenskapsrådet; Israel Science Foundation; Danmarks Frie Forskningsfond","keywords":"Composition (language); Computer science; Mathematics; Art; Literature","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004887198,0.001174873,0.00160552,0.001784327,0.002181813,0.003757867,0.00283278,0.001823883,0.02009473],"category_scores_gemma":[0.01857212,0.001296683,0.00374244,0.001964705,0.004165475,0.02064678,0.01223072,0.01037396,0.004945864],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003184237,"about_ca_system_score_gemma":0.00233532,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001722808,"about_ca_topic_score_gemma":0.001484715,"domain_scores_codex":[0.9916427,0.001081918,0.0004225242,0.002029639,0.003348392,0.001474877],"domain_scores_gemma":[0.9849776,0.007993439,0.0007431572,0.004008962,0.001528124,0.0007488009],"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.0001263045,0.0001197351,0.0006285356,0.0001996169,0.00002791607,0.0002143767,0.0003522566,0.00356707,0.003419954,0.9604343,0.005874791,0.02503525],"study_design_scores_gemma":[0.00004721734,0.00004258508,0.0003155134,0.00004153256,0.00003627409,0.0002497824,0.00007940781,0.02812625,0.003912246,0.9556642,0.0114544,0.00003056021],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09120525,0.00111877,0.7194052,0.009488602,0.0006422789,0.0003834809,0.001266198,0.005218773,0.1712715],"genre_scores_gemma":[0.6962792,0.001747051,0.2436647,0.006627646,0.001807778,0.0009442963,0.002330551,0.002323169,0.04427554],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02009473,"threshold_uncertainty_score":0.06722355,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02532678161640865,"score_gpt":0.2240185539281765,"score_spread":0.1986917723117679,"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."}}