{"id":"W1650093283","doi":"10.1016/j.jcss.2016.01.001","title":"Separating OR, SUM, and XOR circuits","year":2016,"lang":"en","type":"article","venue":"Journal of Computer and System Sciences","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"Academy of Finland","keywords":"Electronic circuit; Boolean circuit; Mathematics; Monotone polygon; Modulo; Rewriting; Netlist; Circuit complexity; Discrete mathematics; Boolean function; Arithmetic; Algorithm; 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":[],"consensus_categories":[],"category_scores_codex":[0.001495764,0.0001012285,0.000244518,0.0001864498,0.0002963812,0.0004246739,0.0006367866,0.00002793191,0.000002089608],"category_scores_gemma":[0.00001817603,0.00004968308,0.00004894835,0.0003040057,0.0002105735,0.0009413563,0.0002006296,0.00006211064,0.000001659742],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000165854,"about_ca_system_score_gemma":0.00009802695,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004382763,"about_ca_topic_score_gemma":0.000002766589,"domain_scores_codex":[0.9986833,0.0001024153,0.000387859,0.0002147296,0.000386007,0.0002257087],"domain_scores_gemma":[0.9989784,0.0003645741,0.0002681464,0.0001215813,0.0001120959,0.0001551897],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000891644,0.00004001108,0.007565835,0.0001087258,0.00004362122,0.0001621117,0.001754289,0.00003174962,0.0006665318,0.16125,0.001152645,0.8272156],"study_design_scores_gemma":[0.008383526,0.01105313,0.1518183,0.009600435,0.0000994161,0.05821765,0.002427134,0.6853099,0.002740035,0.04911255,0.01859958,0.002638274],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.200691,0.0006291744,0.796111,0.0009291648,0.001076086,0.00005385077,8.369857e-7,0.00002922006,0.0004796858],"genre_scores_gemma":[0.9563767,0.00004331164,0.04319234,0.00007932608,0.0002627811,4.583835e-7,7.666578e-9,0.000001868272,0.00004322159],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8245773,"threshold_uncertainty_score":0.409514,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04163178691523718,"score_gpt":0.2759374201476482,"score_spread":0.234305633232411,"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."}}