{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00008669072,0.00006806281,0.00007672998,0.00002416915,0.0001209575,0.0001128755,0.0005190431,0.00002085853,0.00008516635],"category_scores_gemma":[0.00000772011,0.00006022322,0.0000485109,0.0003081542,0.00003101051,0.0002491844,0.0002276028,0.00008927645,0.0001457801],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000573789,"about_ca_system_score_gemma":0.000008438598,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001015575,"about_ca_topic_score_gemma":7.246928e-7,"domain_scores_codex":[0.9993665,0.00003103982,0.0001102361,0.0002133803,0.0001407272,0.0001381672],"domain_scores_gemma":[0.999625,0.00005098055,0.00002792666,0.0001802721,0.00002697818,0.00008879134],"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.00000268535,0.0000299617,0.0001297896,0.000007843482,0.000009019232,0.0000107232,0.0009745195,0.00007561471,0.005016734,0.8832688,0.001078993,0.1093953],"study_design_scores_gemma":[0.0001929568,0.00008794572,0.000510835,0.000008003589,0.000002265613,0.0000146732,0.00002600946,0.9145072,0.009068198,0.07137068,0.004026575,0.0001847121],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002727838,0.00002468598,0.9722313,0.006563342,0.0001466747,0.00005235404,4.948546e-7,0.0003614404,0.01789183],"genre_scores_gemma":[0.8491883,0.000001809384,0.1468146,0.003843669,0.0001226464,0.00000177815,0.000001642651,0.000003310952,0.00002227117],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9144315,"threshold_uncertainty_score":0.2455832,"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."}}