{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001875499,0.0003064824,0.0003275971,0.000231206,0.0002674107,0.0003297131,0.001587674,0.000232001,0.00007293496],"category_scores_gemma":[0.00003343501,0.0003195059,0.0001276917,0.0005078003,0.0001665222,0.0005038566,0.00300901,0.0005697435,0.00008554696],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006839252,"about_ca_system_score_gemma":0.0001464419,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002507296,"about_ca_topic_score_gemma":0.00007649312,"domain_scores_codex":[0.9981391,0.0001091225,0.0001845564,0.001102465,0.00009313303,0.0003716216],"domain_scores_gemma":[0.9982956,0.0001723912,0.0001869463,0.001023134,0.0001216935,0.0002002138],"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.00001367076,0.0001642903,0.003214037,0.0002831909,0.0002120749,0.0008313896,0.001218092,0.01541509,0.00006161127,0.9460438,0.001993158,0.03054957],"study_design_scores_gemma":[0.0004410181,0.00007503178,0.002193197,0.0001485735,0.00003955309,0.00002964157,0.00007893275,0.8081594,0.00007046024,0.1861533,0.001911897,0.0006989795],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4488788,0.0001628122,0.5439471,0.0001450656,0.0008522237,0.0003755385,0.00001396437,0.0004063301,0.005218178],"genre_scores_gemma":[0.9920037,0.0001810512,0.004888723,0.0001340492,0.00008822203,0.000001346993,0.000005461312,0.00001316111,0.002684301],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7927443,"threshold_uncertainty_score":0.9999257,"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."}}