{"id":"W2952270608","doi":"","title":"Separating OR, SUM, and XOR Circuits","year":2013,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Monotone polygon; Electronic circuit; Boolean circuit; Corollary; Discrete mathematics; Modulo; Rewriting; Combinatorics; Circuit complexity; Boolean function; Arithmetic; Computer science","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005862276,0.0006501212,0.0004717881,0.0004793765,0.0006391131,0.001838022,0.001130462,0.0006762104,0.006530949],"category_scores_gemma":[0.003520532,0.0003809139,0.0008214904,0.000732256,0.00110209,0.006356296,0.0014868,0.001231664,0.0006424791],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001366781,"about_ca_system_score_gemma":0.000993636,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001155393,"about_ca_topic_score_gemma":0.002100095,"domain_scores_codex":[0.9990357,0.0002166896,0.00006938924,0.0002649483,0.0002440957,0.0001691136],"domain_scores_gemma":[0.9978168,0.001136118,0.0002358799,0.0005507133,0.0001619865,0.00009851473],"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.000508574,0.0001213534,0.001501093,0.0003159341,0.00004014855,0.0001637484,0.0002635886,0.0483112,0.02412336,0.8292273,0.002688309,0.09273527],"study_design_scores_gemma":[0.0000512766,0.0001118319,0.0005194393,0.00002447949,0.00004702476,0.0003042275,0.0001294085,0.30203,0.02526726,0.6649852,0.006498921,0.00003090457],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3707547,0.0004662325,0.5951567,0.001265264,0.00005997467,0.0001805706,0.0005656967,0.001031026,0.03051987],"genre_scores_gemma":[0.8356768,0.000397543,0.1535774,0.0002536634,0.00007203887,0.0001429999,0.0005289568,0.0001474554,0.009203237],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006530949,"threshold_uncertainty_score":0.0218482,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1188990699491141,"score_gpt":0.2050559633794513,"score_spread":0.08615689343033715,"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."}}