{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00227207,0.001245285,0.001418028,0.002112263,0.002047003,0.003899774,0.002333105,0.001448744,0.01879532],"category_scores_gemma":[0.007850565,0.001072644,0.00257049,0.002616042,0.00408262,0.02326899,0.007327393,0.009089425,0.00321141],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001564627,"about_ca_system_score_gemma":0.001121711,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009238,"about_ca_topic_score_gemma":0.0009522158,"domain_scores_codex":[0.9970799,0.0005433992,0.0001534345,0.0007306895,0.001051291,0.0004411662],"domain_scores_gemma":[0.9926846,0.00444292,0.0003101463,0.001556991,0.0006473023,0.0003580208],"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.00002842766,0.0000447111,0.0001342288,0.0000639728,0.000009079098,0.00004274194,0.0001327928,0.001031834,0.000598031,0.9852362,0.002053941,0.01062393],"study_design_scores_gemma":[0.000009473862,0.000005233709,0.00007896047,0.000008752218,0.00000993318,0.00004447092,0.00003286381,0.004382951,0.0006738944,0.992213,0.002533102,0.000007379982],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0574233,0.0008497654,0.7993356,0.006014071,0.0004433345,0.0001479769,0.000525837,0.001154581,0.1341056],"genre_scores_gemma":[0.6717375,0.002660869,0.2637619,0.002791526,0.00165789,0.0006957304,0.001382597,0.001609432,0.05370251],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01879532,"threshold_uncertainty_score":0.06287658,"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."}}